5 Commits

Author	SHA1	Message	Date
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