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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
// RUN: %target-swift-frontend -emit-sil -o /dev/null -verify %s -strict-concurrency=minimal
// RUN: %target-swift-frontend -emit-sil -o /dev/null -verify %s -strict-concurrency=targeted -verify-additional-prefix targeted-complete-
// RUN: %target-swift-frontend -emit-sil -o /dev/null -verify %s -strict-concurrency=complete -verify-additional-prefix targeted-complete- -verify-additional-prefix complete-tns-
// REQUIRES: concurrency
// REQUIRES: asserts
@preconcurrency @MainActor func f() { }
// expected-note @-1 2{{calls to global function 'f()' from outside of its actor context are implicitly asynchronous}}
// expected-complete-tns-note @-2 2{{calls to global function 'f()' from outside of its actor context are implicitly asynchronous}}
@preconcurrency typealias FN = @Sendable () -> Void
struct Outer {
@preconcurrency typealias FN = @Sendable () -> Void
}
@preconcurrency func preconcurrencyFunc(callback: FN) {}
func test() {
var _: Outer.FN = {
f() // expected-complete-tns-warning {{call to main actor-isolated global function 'f()' in a synchronous nonisolated context}}
}
var _: FN = {
f() // expected-complete-tns-warning {{call to main actor-isolated global function 'f()' in a synchronous nonisolated context}}
print("Hello")
}
var mutableVariable = 0
preconcurrencyFunc {
mutableVariable += 1 // no sendable warning unless we have complete
// expected-complete-tns-warning @-1 {{mutation of captured var 'mutableVariable' in concurrently-executing code}}
}
mutableVariable += 1
}
@available(SwiftStdlib 5.1, *)
func testAsync() async {
var _: Outer.FN = {
f() // expected-warning{{call to main actor-isolated global function 'f()' in a synchronous nonisolated context}}
}
var _: FN = {
f() // expected-warning{{call to main actor-isolated global function 'f()' in a synchronous nonisolated context}}
print("Hello")
}
var mutableVariable = 0
preconcurrencyFunc {
mutableVariable += 1 // expected-targeted-complete-warning{{mutation of captured var 'mutableVariable' in concurrently-executing code}}
}
mutableVariable += 1
}
// rdar://99518344 - @Sendable in nested positions
@preconcurrency typealias OtherHandler = @Sendable () -> Void
@preconcurrency typealias Handler = (@Sendable () -> OtherHandler?)?
@preconcurrency func f(arg: Int, withFn: Handler?) {}
class C { // expected-complete-tns-note {{class 'C' does not conform to the 'Sendable' protocol}}
func test() {
f(arg: 5, withFn: { [weak self] () -> OtherHandler? in
_ = self // expected-complete-tns-warning {{capture of 'self' with non-sendable type 'C?' in a `@Sendable` closure}}
return nil
})
}
}
|
