Pavel Yaskevich
b353f717f5
[Concurency] Allow declarations with @isolated(any) parameters be marked as @concurrent/nonisolated(nonsending)
...
It's shouldn't be possible to use these attributes directly on
the function type that is `@isolated(any)` as per SE-0461 proposal
but it shouldn't preclude declarations that have parameters with
`@isolated(any)` from using them.
Resolves: rdar://154754939
(cherry picked from commit a522448e90 )
2025-07-02 11:50:22 -07:00
Pavel Yaskevich
d007d7adfb
[Frontend] Rename AsyncCallerExecution upcoming feature to NonisolatedNonsendingBeDefault
...
(cherry picked from commit c110941c27 )
2025-04-22 00:33:45 -07:00
Pavel Yaskevich
c856f52f1e
[Frontend] Mark AsyncCallerExecution as an upcoming feature in Swift 7
...
(cherry picked from commit a3d35d54e5 )
2025-04-22 00:32:35 -07:00
Pavel Yaskevich
3896f8fd77
[AST] Remove ExecutionAttribute experimental feature
...
SE-0461 has been accepted and `@concurrent` and `nonisolated(nonsending)`
can be make generally available now.
2025-04-16 13:20:12 -07:00
Pavel Yaskevich
06f880e65c
[AST/ASTGen/Sema/Serialization] Remove @execution attribute
...
Complete the transition from `@execution` to `@concurrent` and `nonisolated(nonsending)`
2025-04-16 13:18:52 -07:00
Pavel Yaskevich
4a973f7b4b
[AST/Sema] Replace @execution(concurrent) with @concurrent
2025-04-16 10:06:08 -07:00
Michael Gottesman
7648bce91b
Merge pull request #80210 from gottesmm/pr-5cf03315e9a3442419b1bab18b46f755fdf0b405
...
[concurrency] Make sure that TypeLowering inserts the extra actor parameter for @execution(caller) parameters.
2025-03-25 10:09:44 -07:00
Michael Gottesman
2d5dd7502f
[concurrency] Make sure that TypeLowering inserts the extra actor parameter for @execution(caller) parameters.
...
Previously, we handled cases where we had an actual SILDeclRef constant (e.x.:
an actual function ref), but we did not handle cases where we did not have a
constant but instead just had a FunctionTypeIsolation. We now handle that
correctly.
2025-03-21 12:30:33 -07:00
Anthony Latsis
ba31190f8b
[NFC] Remove unnecessary asserts requirement in @execution tests
...
These files already have the appropriate Lit feature markers to prevent
them from running with asserts if necessary.
2025-03-17 19:46:25 +00:00
Pavel Yaskevich
dd1be8f6d4
[Frontend] Hide @execution attribute behind an experimental feature ExecutionAttribute
...
Since the proposal has not been approved yet we cannot expose
`@execution` attribute.
2025-02-20 00:05:03 -08:00
Pavel Yaskevich
e2ff3308be
[Frontend] NFC: Rename NonIsolatedAsyncInheritsIsolationFromContext feature
...
New name is `AsyncCallerExecution` as stated by the proposal.
2025-02-19 20:00:56 -08:00
Michael Gottesman
9851305d6e
[concurrency] Make sure both with and without the flag, we codegen execution(caller|concurrent) correctly.
...
The flag is specifically NonIsolatedAsyncInheritsIsolationFromContext.
I noticed that we were not codegening @execution(caller) when the flag was
disabled, so I fixed it and added this test.
2025-02-12 10:38:06 -08:00