swift
[sema] Refactor usesFlowSensitiveIsolation to improve clarity and fix destructor check
#87314

Merged

[sema] Refactor usesFlowSensitiveIsolation to improve clarity and fix destructor check #87314

gottesmm merged 7 commits into swiftlang:main from gottesmm:pr-e172f8450be09c02ba167c74beac45162dc31425

gottesmm requested a review from

hborla 164 days ago

gottesmm requested a review from

slavapestov 164 days ago

gottesmm requested a review from

xedin 164 days ago

gottesmm enabled auto-merge 164 days ago

gottesmm force pushed from 547abbbe to 9109e77e 164 days ago

gottesmm force pushed from 9109e77e to 4e43c26c 164 days ago

gottesmm requested a review from

ktoso 164 days ago

gottesmm requested a review from

jckarter 164 days ago

[sema] Refactor usesFlowSensitiveIsolation to improve clarity and fix…

5b1096a4

[sema] Refactor ActorReferenceResult::forReference to use builder pat…

cbc6ae6e

[sema] Eagerly compute isolation in ActorReferenceResult::Builder con…

b4c4c8f3

[sema] Move checkedByFlowIsolation onto ActorReferenceResult::Builder.

55dc2c93

[sema] Document why isIsolated and equivalentIsolationContexts checks…

510d0ee1

[sema] Move isNonInheritedStorage and memberAccessHasSpecialPermissio…

2ede16ba

[sema] Consolidate referencedActor->isSelf() checks in ActorReference…

081cb4e9

gottesmm force pushed from 4e43c26c to 081cb4e9 164 days ago

gottesmm merged a79530a9 into main 163 days ago

gottesmm deleted the pr-e172f8450be09c02ba167c74beac45162dc31425 branch 163 days ago

Reviewers

hborla

slavapestov

xedin

ktoso

jckarter

Assignees

No one assigned

Labels

None yet

Milestone

No milestone