Pavel Yaskevich
3a0acf8043
[AST/Sema] Decouple @preconcurrency conformances from DynamicActorIsolation feature flag
2024-04-14 21:28:13 -07:00
Pavel Yaskevich
03e9d4258e
[Frontend] NFC: Promote DynamicActorIsolation to an upcoming feature flag
2024-04-14 21:28:13 -07:00
Pavel Yaskevich
db7959668e
[Frontend] NFC: Rename PreconcurrencyConformances to DynamicActorIsolation
2024-02-01 13:28:25 -08:00
Pavel Yaskevich
c3a0822260
[Tests] NFC: Disable availability checking in @preconcurrency conformances tests
2024-01-16 16:21:06 -08:00
Pavel Yaskevich
451308422b
[Sema] Suppress actor isolation checking for @preconcurrency conformances
...
Suppress warnings/errors when actor isolated synchroneous witness
is matched against `@preconcurrency` conformance requirement.
Witness thunk assumes isolation of the witness but instead of a
hop to its executor it would emit a runtime check to make sure
that its always called from the expected context.
2024-01-16 11:51:49 -08:00
Pavel Yaskevich
4943e146bd
[Frontend] Add experimental flag for @preconcurrency conformances feature
2024-01-16 10:31:01 -08:00
Pavel Yaskevich
233d279a5c
[AST] Support @preconcurrency attribute on test/extension inheritance entries
2024-01-16 10:30:58 -08:00
