1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
// RUN: %target-swift-frontend -emit-sil -strict-concurrency=complete -enable-upcoming-feature RegionBasedIsolation -target %target-swift-5.1-abi-triple -verify %s -o /dev/null -enable-upcoming-feature GlobalActorIsolatedTypesUsability
// REQUIRES: concurrency
// REQUIRES: swift_feature_GlobalActorIsolatedTypesUsability
// REQUIRES: swift_feature_RegionBasedIsolation
// This test makes sure that we treat types with an unavailable Sendable
// conformance as being non-Sendable.
public class NonSendable {
func foo() {
}
}
@available(*, unavailable)
extension NonSendable: Sendable {}
actor Bar {
init(_ _: NonSendable) {
}
func bar() async {
let ns = NonSendable()
_ = Bar(ns) // expected-warning {{sending 'ns' risks causing data races}}
// TODO: This needs to be:
// 'ns' is transferred to actor-isolated callee. Later local uses could race with uses in callee.
// expected-note @-3 {{sending 'ns' to actor-isolated initializer 'init(_:)' risks causing data races between actor-isolated and local actor-isolated uses}}
ns.foo() // expected-note {{access can happen concurrently}}
}
}
|
