Pavel Yaskevich
a522448e90
[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
2025-07-01 15:07:23 -07:00
Pavel Yaskevich
c110941c27
[Frontend] Rename AsyncCallerExecution upcoming feature to NonisolatedNonsendingBeDefault
2025-04-21 13:59:29 -07:00
Pavel Yaskevich
a3d35d54e5
[Frontend] Mark AsyncCallerExecution as an upcoming feature in Swift 7
2025-04-21 11:45:48 -07:00
Pavel Yaskevich
f1b3c7b604
[AST] Remove ExecutionAttribute experimental feature
...
SE-0461 has been accepted and `@concurrent` and `nonisolated(nonsending)`
can be make generally available now.
2025-04-11 15:59:25 -07:00
Pavel Yaskevich
07ff063ae3
[AST/ASTGen/Sema/Serialization] Remove @execution attribute
...
Complete the transition from `@execution` to `@concurrent` and `nonisolated(nonsending)`
2025-04-11 15:59:25 -07:00
Pavel Yaskevich
4b8c8e7d72
[AST/Sema] Replace @execution(concurrent) with @concurrent
2025-04-11 12:08:29 -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
