mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
648bb8fe30
The reason why this failed is that concurrently to @xedin landing
79af04ccc4, I enabled
NonisolatedNonsendingByDefault on a bunch of other tests. That change broke the
test and so we needed to fix it.
This commit fixes a few issues that were exposed:
1. We do not propagate nonisolated(nonsending) into a closure if its inferred
context isolation is global actor isolated or if the closure captures an
isolated parameter. We previously just always inferred
nonisolated(nonsending). Unfortunately since we do not yet have capture
information in CSApply, this required us to put the isolation change into
TypeCheckConcurrency.cpp and basically have function conversions of the form:
```
(function_conversion_expr type="nonisolated(nonsending) () async -> Void"
(closure_expr type="() async -> ()" isolated_to_caller_isolation))
```
Notice how we have a function conversion to nonisolated(nonsending) from a
closure expr that has an isolation that is isolated_to_caller.
2. With this in hand, we found that this pattern caused us to first thunk a
nonisolated(nonsending) function to an @concurrent function and then thunk that
back to nonisolated(nonsending), causing the final function to always be
concurrent. I put into SILGen a peephole that recognizes this pattern and emits
the correct code.
3. With that in hand, we found that we were emitting nonisolated(nonsending)
parameters for inheritActorContext functions. This was then fixed by @xedin in
With all this in hand, closure literal isolation and all of the other RBI tests
with nonisolated(nonsending) enabled pass.
rdar://154969621
548 lines
31 KiB
Swift
548 lines
31 KiB
Swift
// RUN: %target-swift-frontend -emit-sil -parse-as-library -target %target-swift-5.1-abi-triple -swift-version 5 -strict-concurrency=complete %s -o - 2>/dev/null | %FileCheck %s
|
|
// RUN: %target-swift-frontend -emit-sil -parse-as-library -target %target-swift-5.1-abi-triple -swift-version 6 -verify %s -o /dev/null -verify-additional-prefix ni-
|
|
// RUN: %target-swift-frontend -emit-sil -parse-as-library -target %target-swift-5.1-abi-triple -swift-version 5 -strict-concurrency=complete %s -o - -enable-upcoming-feature NonisolatedNonsendingByDefault 2>/dev/null | %FileCheck %s
|
|
// RUN: %target-swift-frontend -emit-sil -parse-as-library -target %target-swift-5.1-abi-triple -swift-version 6 -verify %s -o /dev/null -enable-upcoming-feature NonisolatedNonsendingByDefault -verify-additional-prefix ni-ns-
|
|
|
|
// REQUIRES: concurrency
|
|
// REQUIRES: asserts
|
|
// REQUIRES: swift_feature_NonisolatedNonsendingByDefault
|
|
|
|
// This test validates the behavior of transfernonsendable around
|
|
// closure literals
|
|
|
|
////////////////////////
|
|
// MARK: Declarations //
|
|
////////////////////////
|
|
|
|
class NonSendableKlass {}
|
|
|
|
actor CustomActorInstance {}
|
|
|
|
@globalActor
|
|
struct CustomActor {
|
|
static let shared = CustomActorInstance()
|
|
}
|
|
|
|
func normalAcceptsClosure(_ x: () -> ()) {}
|
|
func normalAcceptsSendingClosure(_ x: sending () -> ()) {}
|
|
func normalAcceptsSendableClosure(_ x: @Sendable () -> ()) {}
|
|
|
|
@MainActor
|
|
func normalGlobalActorAcceptsClosure(_ x: () -> ()) { }
|
|
@MainActor
|
|
func normalGlobalActorAcceptsSendingClosure(_ x: sending () -> ()) { }
|
|
@MainActor
|
|
func normalGlobalActorAcceptsSendableClosure(_ x: @Sendable () -> ()) { }
|
|
|
|
func normalAcceptsAsyncClosure(_ x: () async -> ()) {}
|
|
func normalAcceptsSendingAsyncClosure(_ x: sending () async -> ()) {}
|
|
func normalAcceptsSendableAsyncClosure(_ x: @Sendable () async -> ()) {}
|
|
|
|
func inheritActorContextAcceptsSendingAsyncClosure(@_inheritActorContext _ x: sending () async -> ()) { }
|
|
func inheritActorContextAcceptsSendableAsyncClosure(@_inheritActorContext _ x: @Sendable () async -> ()) { }
|
|
|
|
@MainActor
|
|
func normalGlobalActorAcceptsAsyncClosure(_ x: () async -> ()) { }
|
|
@MainActor
|
|
func normalGlobalActorAcceptsSendingAsyncClosure(_ x: sending () async -> ()) { }
|
|
@MainActor
|
|
func normalGlobalActorAcceptsSendableAsyncClosure(_ x: @Sendable () async -> ()) { }
|
|
|
|
@MainActor
|
|
func inheritActorContextGlobalActorAcceptsSendingAsyncClosure(@_inheritActorContext _ x: sending () async -> ()) { }
|
|
@MainActor
|
|
func inheritActorContextGlobalActorAcceptsSendableAsyncClosure(@_inheritActorContext _ x: @Sendable () async -> ()) { }
|
|
|
|
func asyncNormalAcceptsClosure(_ x: () -> ()) async {}
|
|
func asyncNormalAcceptsSendingClosure(_ x: sending () -> ()) async {}
|
|
func asyncNormalAcceptsSendableClosure(_ x: @Sendable () -> ()) async {}
|
|
|
|
@MainActor
|
|
func asyncNormalGlobalActorAcceptsClosure(_ x: () -> ()) async {}
|
|
@MainActor
|
|
func asyncNormalGlobalActorAcceptsSendingClosure(_ x: sending () -> ()) async {}
|
|
@MainActor
|
|
func asyncNormalGlobalActorAcceptsSendableClosure(_ x: @Sendable () -> ()) async {}
|
|
|
|
func asyncNormalAcceptsAsyncClosure(_ x: () async -> ()) async {}
|
|
func asyncNormalAcceptsSendingAsyncClosure(_ x: sending () async -> ()) async {}
|
|
func asyncNormalAcceptsSendableAsyncClosure(_ x: @Sendable () async -> ()) async {}
|
|
|
|
func asyncInheritActorContextAcceptsSendingAsyncClosure(@_inheritActorContext _ x: sending () async -> ()) async {}
|
|
func asyncInheritActorContextAcceptsSendableAsyncClosure(@_inheritActorContext _ x: @Sendable () async -> ()) async {}
|
|
|
|
@MainActor
|
|
func asyncNormalGlobalActorAcceptsAsyncClosure(_ x: () async -> ()) async {}
|
|
@MainActor
|
|
func asyncNormalGlobalActorAcceptsSendingAsyncClosure(_ x: sending () async -> ()) async {}
|
|
@MainActor
|
|
func asyncNormalGlobalActorAcceptsSendableAsyncClosure(_ x: @Sendable () async -> ()) async {}
|
|
|
|
@MainActor
|
|
func asyncInheritActorContextGlobalActorAcceptsSendingAsyncClosure(@_inheritActorContext _ x: sending () async -> ()) async {}
|
|
@MainActor
|
|
func asyncInheritActorContextGlobalActorAcceptsSendableAsyncClosure(@_inheritActorContext _ x: @Sendable () async -> ()) async {}
|
|
|
|
actor MyActor {}
|
|
|
|
@MainActor
|
|
var mainActorIsolatedValue = NonSendableKlass()
|
|
|
|
func useValue<T>(_ x: T) { }
|
|
|
|
//////////////////////////////////////////////////////
|
|
// MARK: Global Actor: Sync User Sync Closure Tests //
|
|
//////////////////////////////////////////////////////
|
|
|
|
@CustomActor
|
|
func test_CallerSyncNormal_CalleeSyncNonIsolated() async {
|
|
// Just to help start our pattern matching since the closure #$NUM line
|
|
// appears in other parts of the file.
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference028test_CallerSyncNormal_CalleeF11NonIsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: closure #1 in test_CallerSyncNormal_CalleeSyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: global_actor. type: CustomActor
|
|
normalAcceptsClosure { }
|
|
|
|
// CHECK-LABEL: closure #2 in test_CallerSyncNormal_CalleeSyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: nonisolated
|
|
normalAcceptsSendingClosure { }
|
|
|
|
// CHECK-LABEL: // closure #3 in test_CallerSyncNormal_CalleeSyncNonIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
normalAcceptsSendableClosure { }
|
|
}
|
|
|
|
@CustomActor
|
|
func test_CallerSyncNormal_CalleeSyncMainActorIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference028test_CallerSyncNormal_CalleeF17MainActorIsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: // closure #1 in test_CallerSyncNormal_CalleeSyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
await normalGlobalActorAcceptsClosure { } // expected-error {{sending value of non-Sendable type '() -> ()' risks causing data races}}
|
|
// expected-note @-1 {{sending global actor 'CustomActor'-isolated value of non-Sendable type '() -> ()' to main actor-isolated global function 'normalGlobalActorAcceptsClosure' risks causing races in between global actor 'CustomActor'-isolated and main actor-isolated uses}}
|
|
|
|
// CHECK-LABEL: // closure #2 in test_CallerSyncNormal_CalleeSyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await normalGlobalActorAcceptsSendingClosure { }
|
|
|
|
// CHECK-LABEL: // closure #3 in test_CallerSyncNormal_CalleeSyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await normalGlobalActorAcceptsSendableClosure { }
|
|
}
|
|
|
|
////////////////////////////////////////////////
|
|
// MARK: Global Actor Sync User Async Closure //
|
|
////////////////////////////////////////////////
|
|
|
|
@CustomActor
|
|
func test_CallerSyncNormal_CalleeAsyncNonIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference44test_CallerSyncNormal_CalleeAsyncNonIsolatedyyYaF'
|
|
// CHECK-LABEL: closure #1 in test_CallerSyncNormal_CalleeAsyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: global_actor. type: CustomActor
|
|
normalAcceptsAsyncClosure { }
|
|
|
|
// CHECK-LABEL: closure #2 in test_CallerSyncNormal_CalleeAsyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: nonisolated
|
|
normalAcceptsSendingAsyncClosure { }
|
|
|
|
// CHECK-LABEL: // closure #3 in test_CallerSyncNormal_CalleeAsyncNonIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
normalAcceptsSendableAsyncClosure { }
|
|
}
|
|
|
|
@CustomActor
|
|
func test_CallerSyncInheritsActorContext_CalleeAsyncNonisolated() {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference58test_CallerSyncInheritsActorContext_CalleeAsyncNonisolatedyyF'
|
|
|
|
// CHECK-LABEL: // closure #1 in test_CallerSyncInheritsActorContext_CalleeAsyncNonisolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
inheritActorContextAcceptsSendingAsyncClosure { }
|
|
|
|
// CHECK-LABEL: // closure #2 in test_CallerSyncInheritsActorContext_CalleeAsyncNonisolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
inheritActorContextAcceptsSendableAsyncClosure { }
|
|
}
|
|
|
|
@CustomActor
|
|
func test_CallerSyncNormal_CalleeAsyncMainActorIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference50test_CallerSyncNormal_CalleeAsyncMainActorIsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: // closure #1 in test_CallerSyncNormal_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
await normalGlobalActorAcceptsAsyncClosure { } // expected-error {{sending value of non-Sendable type '() async -> ()' risks causing data races}}
|
|
// expected-note @-1 {{sending global actor 'CustomActor'-isolated value of non-Sendable type '() async -> ()' to main actor-isolated global function 'normalGlobalActorAcceptsAsyncClosure' risks causing races in between global actor 'CustomActor'-isolated and main actor-isolated uses}}
|
|
|
|
// CHECK-LABEL: // closure #2 in test_CallerSyncNormal_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await normalGlobalActorAcceptsSendingAsyncClosure { }
|
|
|
|
// CHECK-LABEL: // closure #3 in test_CallerSyncNormal_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await normalGlobalActorAcceptsSendableAsyncClosure { }
|
|
}
|
|
|
|
@CustomActor
|
|
func test_CallerSyncInheritsActorContext_CalleeAsyncMainActorIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference051test_CallerSyncInheritsActorContext_CalleeAsyncMainH8IsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: // closure #1 in test_CallerSyncInheritsActorContext_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
await inheritActorContextGlobalActorAcceptsSendingAsyncClosure { }
|
|
|
|
// CHECK-LABEL: // closure #2 in test_CallerSyncInheritsActorContext_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
await inheritActorContextGlobalActorAcceptsSendableAsyncClosure { }
|
|
}
|
|
|
|
//////////////////////////////////////////////////////
|
|
// MARK: Global Actor Async User Sync Closure Tests //
|
|
//////////////////////////////////////////////////////
|
|
|
|
@CustomActor
|
|
func test_CallerAsyncNormal_CalleeSyncNonIsolated() async {
|
|
// Just to help start our pattern matching since the closure #$NUM line
|
|
// appears in other parts of the file.
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference44test_CallerAsyncNormal_CalleeSyncNonIsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: closure #1 in test_CallerAsyncNormal_CalleeSyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: global_actor. type: CustomActor
|
|
await asyncNormalAcceptsClosure { } // expected-ni-error {{sending value of non-Sendable type '() -> ()' risks causing data races}}
|
|
// expected-ni-note @-1 {{sending global actor 'CustomActor'-isolated value of non-Sendable type '() -> ()' to nonisolated global function 'asyncNormalAcceptsClosure' risks causing races in between global actor 'CustomActor'-isolated and nonisolated uses}}
|
|
|
|
// CHECK-LABEL: closure #2 in test_CallerAsyncNormal_CalleeSyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: nonisolated
|
|
await asyncNormalAcceptsSendingClosure { }
|
|
|
|
// CHECK-LABEL: // closure #3 in test_CallerAsyncNormal_CalleeSyncNonIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await asyncNormalAcceptsSendableClosure { }
|
|
}
|
|
|
|
@CustomActor
|
|
func test_CallerAsyncNormal_CalleeSyncMainActorIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference50test_CallerAsyncNormal_CalleeSyncMainActorIsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: // closure #1 in test_CallerAsyncNormal_CalleeSyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
await asyncNormalGlobalActorAcceptsClosure { } // expected-error {{sending value of non-Sendable type '() -> ()' risks causing data races}}
|
|
// expected-note @-1 {{sending global actor 'CustomActor'-isolated value of non-Sendable type '() -> ()' to main actor-isolated global function 'asyncNormalGlobalActorAcceptsClosure' risks causing races in between global actor 'CustomActor'-isolated and main actor-isolated uses}}
|
|
|
|
// CHECK-LABEL: // closure #2 in test_CallerAsyncNormal_CalleeSyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await asyncNormalGlobalActorAcceptsSendingClosure { }
|
|
|
|
// CHECK-LABEL: // closure #3 in test_CallerAsyncNormal_CalleeSyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await asyncNormalGlobalActorAcceptsSendableClosure { }
|
|
}
|
|
|
|
/////////////////////////////////////////////////
|
|
// MARK: Global Actor Async User Async Closure //
|
|
/////////////////////////////////////////////////
|
|
|
|
@CustomActor
|
|
func test_CallerAsyncNormal_CalleeAsyncNonIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference029test_CallerAsyncNormal_CalleeF11NonIsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: closure #1 in test_CallerAsyncNormal_CalleeAsyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: global_actor. type: CustomActor
|
|
await asyncNormalAcceptsAsyncClosure { } // expected-ni-error {{sending value of non-Sendable type '() async -> ()' risks causing data races}}
|
|
// expected-ni-note @-1 {{sending global actor 'CustomActor'-isolated value of non-Sendable type '() async -> ()' to nonisolated global function 'asyncNormalAcceptsAsyncClosure' risks causing races in between global actor 'CustomActor'-isolated and nonisolated uses}}
|
|
|
|
// CHECK-LABEL: closure #2 in test_CallerAsyncNormal_CalleeAsyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: nonisolated
|
|
await asyncNormalAcceptsSendingAsyncClosure { }
|
|
|
|
// CHECK-LABEL: // closure #3 in test_CallerAsyncNormal_CalleeAsyncNonIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await asyncNormalAcceptsSendableAsyncClosure { }
|
|
}
|
|
|
|
@CustomActor
|
|
func test_CallerAsyncInheritsActorContext_CalleeAsyncNonisolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference043test_CallerAsyncInheritsActorContext_CalleeF11NonisolatedyyYaF'
|
|
|
|
// CHECK-LABEL: // closure #1 in test_CallerAsyncInheritsActorContext_CalleeAsyncNonisolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
await asyncInheritActorContextAcceptsSendingAsyncClosure { }
|
|
|
|
// CHECK-LABEL: // closure #2 in test_CallerAsyncInheritsActorContext_CalleeAsyncNonisolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
await asyncInheritActorContextAcceptsSendingAsyncClosure { @CustomActor in }
|
|
|
|
// CHECK-LABEL: // closure #3 in test_CallerAsyncInheritsActorContext_CalleeAsyncNonisolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: MainActor
|
|
await asyncInheritActorContextAcceptsSendingAsyncClosure { @MainActor in }
|
|
|
|
// CHECK-LABEL: // closure #4 in test_CallerAsyncInheritsActorContext_CalleeAsyncNonisolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
await asyncInheritActorContextAcceptsSendableAsyncClosure { }
|
|
}
|
|
|
|
@CustomActor
|
|
func test_CallerAsyncNormal_CalleeAsyncMainActorIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference029test_CallerAsyncNormal_CalleeF17MainActorIsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: // closure #1 in test_CallerAsyncNormal_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
await asyncNormalGlobalActorAcceptsAsyncClosure { } // expected-error {{sending value of non-Sendable type '() async -> ()' risks causing data races}}
|
|
// expected-note @-1 {{sending global actor 'CustomActor'-isolated value of non-Sendable type '() async -> ()' to main actor-isolated global function 'asyncNormalGlobalActorAcceptsAsyncClosure' risks causing races in between global actor 'CustomActor'-isolated and main actor-isolated uses}}
|
|
|
|
// CHECK-LABEL: // closure #2 in test_CallerAsyncNormal_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await asyncNormalGlobalActorAcceptsSendingAsyncClosure { }
|
|
|
|
// CHECK-LABEL: // closure #3 in test_CallerAsyncNormal_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await asyncNormalGlobalActorAcceptsSendableAsyncClosure { }
|
|
}
|
|
|
|
@CustomActor
|
|
func test_CallerAsyncInheritsActorContext_CalleeAsyncMainActorIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference043test_CallerAsyncInheritsActorContext_Calleef4MainH8IsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: // closure #1 in test_CallerAsyncInheritsActorContext_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
await asyncInheritActorContextGlobalActorAcceptsSendingAsyncClosure { }
|
|
|
|
// CHECK-LABEL: // closure #2 in test_CallerAsyncInheritsActorContext_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
await asyncInheritActorContextGlobalActorAcceptsSendingAsyncClosure { @CustomActor in }
|
|
|
|
// CHECK-LABEL: // closure #3 in test_CallerAsyncInheritsActorContext_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: MainActor
|
|
await asyncInheritActorContextGlobalActorAcceptsSendingAsyncClosure { @MainActor in }
|
|
|
|
// CHECK-LABEL: // closure #4 in test_CallerAsyncInheritsActorContext_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
await asyncInheritActorContextGlobalActorAcceptsSendableAsyncClosure { }
|
|
}
|
|
|
|
////////////////////////////////////////////////////////
|
|
// MARK: Actor Instance: Sync User Sync Closure Tests //
|
|
////////////////////////////////////////////////////////
|
|
|
|
extension MyActor {
|
|
func test_CallerSyncNormal_CalleeSyncNonIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference7MyActorC028test_CallerSyncNormal_CalleeH11NonIsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: closure #1 in MyActor.test_CallerSyncNormal_CalleeSyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: actor_instance. name: 'self'
|
|
normalAcceptsClosure { print(self) }
|
|
|
|
// CHECK-LABEL: closure #2 in MyActor.test_CallerSyncNormal_CalleeSyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: nonisolated
|
|
normalAcceptsSendingClosure { print(self) }
|
|
|
|
// CHECK-LABEL: // closure #3 in MyActor.test_CallerSyncNormal_CalleeSyncNonIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
normalAcceptsSendableClosure { print(self) }
|
|
}
|
|
|
|
func test_CallerSyncNormal_CalleeSyncMainActorIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference7MyActorC028test_CallerSyncNormal_Calleeh4MainE8IsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: // closure #1 in MyActor.test_CallerSyncNormal_CalleeSyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: actor_instance. name: 'self'
|
|
await normalGlobalActorAcceptsClosure { print(self) } // expected-error {{sending value of non-Sendable type '() -> ()' risks causing data races}}
|
|
// expected-note @-1 {{sending 'self'-isolated value of non-Sendable type '() -> ()' to main actor-isolated global function 'normalGlobalActorAcceptsClosure' risks causing races in between 'self'-isolated and main actor-isolated uses}}
|
|
|
|
// CHECK-LABEL: // closure #2 in MyActor.test_CallerSyncNormal_CalleeSyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await normalGlobalActorAcceptsSendingClosure { print(self) }
|
|
|
|
// CHECK-LABEL: // closure #3 in MyActor.test_CallerSyncNormal_CalleeSyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await normalGlobalActorAcceptsSendableClosure { print(self) }
|
|
}
|
|
}
|
|
|
|
//////////////////////////////////////////////////
|
|
// MARK: Actor Instance Sync User Async Closure //
|
|
//////////////////////////////////////////////////
|
|
|
|
extension MyActor {
|
|
|
|
func test_CallerSyncNormal_CalleeAsyncNonIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference7MyActorC44test_CallerSyncNormal_CalleeAsyncNonIsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: closure #1 in MyActor.test_CallerSyncNormal_CalleeAsyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: actor_instance. name: 'self'
|
|
normalAcceptsAsyncClosure { print(self) }
|
|
|
|
// CHECK-LABEL: closure #2 in MyActor.test_CallerSyncNormal_CalleeAsyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: nonisolated
|
|
normalAcceptsSendingAsyncClosure { print(self) }
|
|
|
|
// CHECK-LABEL: // closure #3 in MyActor.test_CallerSyncNormal_CalleeAsyncNonIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
normalAcceptsSendableAsyncClosure { print(self) }
|
|
}
|
|
|
|
func test_CallerSyncInheritsActorContext_CalleeAsyncNonisolated() {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference7MyActorC023test_CallerSyncInheritsE30Context_CalleeAsyncNonisolatedyyF'
|
|
|
|
// CHECK-LABEL: // closure #1 in MyActor.test_CallerSyncInheritsActorContext_CalleeAsyncNonisolated()
|
|
// CHECK-NEXT: // Isolation: actor_instance. name: 'self'
|
|
inheritActorContextAcceptsSendingAsyncClosure { print(self) }
|
|
|
|
// CHECK-LABEL: // closure #2 in MyActor.test_CallerSyncInheritsActorContext_CalleeAsyncNonisolated()
|
|
// CHECK-NEXT: // Isolation: actor_instance. name: 'self'
|
|
inheritActorContextAcceptsSendableAsyncClosure { print(self) }
|
|
}
|
|
|
|
func test_CallerSyncNormal_CalleeAsyncMainActorIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference7MyActorC037test_CallerSyncNormal_CalleeAsyncMainE8IsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: // closure #1 in MyActor.test_CallerSyncNormal_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: actor_instance. name: 'self'
|
|
await normalGlobalActorAcceptsAsyncClosure { print(self) } // expected-error {{sending value of non-Sendable type '() async -> ()' risks causing data races}}
|
|
// expected-note @-1 {{sending 'self'-isolated value of non-Sendable type '() async -> ()' to main actor-isolated global function 'normalGlobalActorAcceptsAsyncClosure' risks causing races in between 'self'-isolated and main actor-isolated uses}}
|
|
|
|
// CHECK-LABEL: // closure #2 in MyActor.test_CallerSyncNormal_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await normalGlobalActorAcceptsSendingAsyncClosure { print(self) }
|
|
|
|
// CHECK-LABEL: // closure #3 in MyActor.test_CallerSyncNormal_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await normalGlobalActorAcceptsSendableAsyncClosure { print(self) }
|
|
}
|
|
|
|
func test_CallerSyncInheritsActorContext_CalleeAsyncMainActorIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference7MyActorC023test_CallerSyncInheritse23Context_CalleeAsyncMainE8IsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: // closure #1 in MyActor.test_CallerSyncInheritsActorContext_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: actor_instance. name: 'self'
|
|
await inheritActorContextGlobalActorAcceptsSendingAsyncClosure { print(self) }
|
|
|
|
// CHECK-LABEL: // closure #2 in MyActor.test_CallerSyncInheritsActorContext_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: actor_instance. name: 'self'
|
|
await inheritActorContextGlobalActorAcceptsSendableAsyncClosure { print(self) }
|
|
}
|
|
}
|
|
|
|
////////////////////////////////////////////////////////
|
|
// MARK: Actor Instance Async User Sync Closure Tests //
|
|
////////////////////////////////////////////////////////
|
|
|
|
extension MyActor {
|
|
|
|
func test_CallerAsyncNormal_CalleeSyncNonIsolated() async {
|
|
// Just to help start our pattern matching since the closure #$NUM line
|
|
// appears in other parts of the file.
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference7MyActorC44test_CallerAsyncNormal_CalleeSyncNonIsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: closure #1 in MyActor.test_CallerAsyncNormal_CalleeSyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: actor_instance. name: 'self'
|
|
await asyncNormalAcceptsClosure { print(self) } // expected-ni-error {{sending value of non-Sendable type '() -> ()' risks causing data races}}
|
|
// expected-ni-note @-1 {{sending 'self'-isolated value of non-Sendable type '() -> ()' to nonisolated global function 'asyncNormalAcceptsClosure' risks causing races in between 'self'-isolated and nonisolated uses}}
|
|
|
|
// CHECK-LABEL: closure #2 in MyActor.test_CallerAsyncNormal_CalleeSyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: nonisolated
|
|
await asyncNormalAcceptsSendingClosure { print(self) }
|
|
|
|
// CHECK-LABEL: // closure #3 in MyActor.test_CallerAsyncNormal_CalleeSyncNonIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await asyncNormalAcceptsSendableClosure { print(self) }
|
|
}
|
|
|
|
func test_CallerAsyncNormal_CalleeSyncMainActorIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference7MyActorC037test_CallerAsyncNormal_CalleeSyncMainE8IsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: // closure #1 in MyActor.test_CallerAsyncNormal_CalleeSyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: actor_instance. name: 'self'
|
|
await asyncNormalGlobalActorAcceptsClosure { print(self) } // expected-error {{sending value of non-Sendable type '() -> ()' risks causing data races}}
|
|
// expected-note @-1 {{sending 'self'-isolated value of non-Sendable type '() -> ()' to main actor-isolated global function 'asyncNormalGlobalActorAcceptsClosure' risks causing races in between 'self'-isolated and main actor-isolated uses}}
|
|
|
|
// CHECK-LABEL: // closure #2 in MyActor.test_CallerAsyncNormal_CalleeSyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await asyncNormalGlobalActorAcceptsSendingClosure { print(self) }
|
|
|
|
// CHECK-LABEL: // closure #3 in MyActor.test_CallerAsyncNormal_CalleeSyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await asyncNormalGlobalActorAcceptsSendableClosure { print(self) }
|
|
}
|
|
}
|
|
|
|
///////////////////////////////////////////////////
|
|
// MARK: Actor Instance Async User Async Closure //
|
|
///////////////////////////////////////////////////
|
|
|
|
extension MyActor {
|
|
|
|
func test_CallerAsyncNormal_CalleeAsyncNonIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference7MyActorC029test_CallerAsyncNormal_CalleeH11NonIsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: closure #1 in MyActor.test_CallerAsyncNormal_CalleeAsyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: actor_instance. name: 'self'
|
|
await asyncNormalAcceptsAsyncClosure { print(self) } // expected-ni-error {{sending value of non-Sendable type '() async -> ()' risks causing data races}}
|
|
// expected-ni-note @-1 {{sending 'self'-isolated value of non-Sendable type '() async -> ()' to nonisolated global function 'asyncNormalAcceptsAsyncClosure' risks causing races in between 'self'-isolated and nonisolated uses}}
|
|
|
|
// CHECK-LABEL: closure #2 in MyActor.test_CallerAsyncNormal_CalleeAsyncNonIsolated()
|
|
// CHECK-NEXT: Isolation: nonisolated
|
|
await asyncNormalAcceptsSendingAsyncClosure { print(self) }
|
|
|
|
// CHECK-LABEL: // closure #3 in MyActor.test_CallerAsyncNormal_CalleeAsyncNonIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await asyncNormalAcceptsSendableAsyncClosure { print(self) }
|
|
}
|
|
|
|
func test_CallerAsyncInheritsActorContext_CalleeAsyncNonisolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference7MyActorC024test_CallerAsyncInheritse14Context_CalleeH11NonisolatedyyYaF'
|
|
|
|
// CHECK-LABEL: // closure #1 in MyActor.test_CallerAsyncInheritsActorContext_CalleeAsyncNonisolated()
|
|
// CHECK-NEXT: // Isolation: actor_instance. name: 'self'
|
|
await asyncInheritActorContextAcceptsSendingAsyncClosure { print(self) }
|
|
|
|
// CHECK-LABEL: // closure #2 in MyActor.test_CallerAsyncInheritsActorContext_CalleeAsyncNonisolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
await asyncInheritActorContextAcceptsSendingAsyncClosure { @CustomActor in print(self) }
|
|
|
|
// CHECK-LABEL: // closure #3 in MyActor.test_CallerAsyncInheritsActorContext_CalleeAsyncNonisolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: MainActor
|
|
await asyncInheritActorContextAcceptsSendingAsyncClosure { @MainActor in print(self) }
|
|
|
|
// CHECK-LABEL: // closure #4 in MyActor.test_CallerAsyncInheritsActorContext_CalleeAsyncNonisolated()
|
|
// CHECK-NEXT: // Isolation: actor_instance. name: 'self'
|
|
await asyncInheritActorContextAcceptsSendableAsyncClosure { print(self) }
|
|
}
|
|
|
|
func test_CallerAsyncNormal_CalleeAsyncMainActorIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference7MyActorC029test_CallerAsyncNormal_Calleeh4MainE8IsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: // closure #1 in MyActor.test_CallerAsyncNormal_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: actor_instance. name: 'self'
|
|
await asyncNormalGlobalActorAcceptsAsyncClosure { print(self) } // expected-error {{sending value of non-Sendable type '() async -> ()' risks causing data races}}
|
|
// expected-note @-1 {{sending 'self'-isolated value of non-Sendable type '() async -> ()' to main actor-isolated global function 'asyncNormalGlobalActorAcceptsAsyncClosure' risks causing races in between 'self'-isolated and main actor-isolated uses}}
|
|
|
|
// CHECK-LABEL: // closure #2 in MyActor.test_CallerAsyncNormal_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await asyncNormalGlobalActorAcceptsSendingAsyncClosure { print(self) }
|
|
|
|
// CHECK-LABEL: // closure #3 in MyActor.test_CallerAsyncNormal_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: nonisolated
|
|
await asyncNormalGlobalActorAcceptsSendableAsyncClosure { print(self) }
|
|
}
|
|
|
|
func test_CallerAsyncInheritsActorContext_CalleeAsyncMainActorIsolated() async {
|
|
// CHECK-LABEL: } // end sil function '$s54transfernonsendable_closureliterals_isolationinference7MyActorC024test_CallerAsyncInheritse14Context_Calleeh4MainE8IsolatedyyYaF'
|
|
|
|
// CHECK-LABEL: // closure #1 in MyActor.test_CallerAsyncInheritsActorContext_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: actor_instance. name: 'self'
|
|
await asyncInheritActorContextGlobalActorAcceptsSendingAsyncClosure { print(self) }
|
|
|
|
// CHECK-LABEL: // closure #2 in MyActor.test_CallerAsyncInheritsActorContext_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: CustomActor
|
|
await asyncInheritActorContextGlobalActorAcceptsSendingAsyncClosure { @CustomActor in print(self) }
|
|
|
|
// CHECK-LABEL: // closure #3 in MyActor.test_CallerAsyncInheritsActorContext_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: global_actor. type: MainActor
|
|
await asyncInheritActorContextGlobalActorAcceptsSendingAsyncClosure { @MainActor in print(self) }
|
|
|
|
// CHECK-LABEL: // closure #4 in MyActor.test_CallerAsyncInheritsActorContext_CalleeAsyncMainActorIsolated()
|
|
// CHECK-NEXT: // Isolation: actor_instance. name: 'self'
|
|
await asyncInheritActorContextGlobalActorAcceptsSendableAsyncClosure { print(self) }
|
|
}
|
|
}
|