[TypeChecker/SILGen] Dynamic enforcement of witness/objc isolation with @preconcurrency attribute #70867
xedin
requested a review
from
hyp
1 year ago
[AST] Allow @preconcurrency attribute in inheritance clause
574aee01
[AST] Support `@preconcurrency` attribute on test/extension inheritan…
233d279a
[Frontend] Add experimental flag for `@preconcurrency` conformances f…
4943e146
xedin
force pushed
from
f2c5e44c
to
ae4662d2
1 year ago
[AST] Add a flag to indicate that the conformance is `@preconcurrency`
e8b7a26e
[Serialization] Add `@preconcurrency` bit to normal conformance descr…
a26af37e
[Sema] Suppress actor isolation checking for `@preconcurrency` confor…
45130842
[SILGen] Emit expected executor preconditions for synchronous isolate…
65b07e91
[SILGen] Emit expected executor preconditions to synchronous isolated…
0e6dbd5c
[Sema] `@preconcurrency` conformances have no effect for protocols th…
13f83598
[Sema] Diagnose places where @preconcurrency attribute on conformance…
1caafee3
xedin
force pushed
from
ae4662d2
to
1caafee3
1 year ago
[Tests] NFC: Disable availability checking in `@preconcurrency` confo…
c3a08222
xedin
merged
6cdab780
into main 1 year ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub