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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
|
// RUN: %target-swift-frontend -emit-sil -strict-concurrency=complete -disable-availability-checking -verify %s -o /dev/null -enable-upcoming-feature GlobalActorIsolatedTypesUsability
// REQUIRES: concurrency
// REQUIRES: asserts
// This test validates behavior of transfernonsendable around nonisolated
// functions and fields.
////////////////////////
// MARK: Declarations //
////////////////////////
class NonSendable {}
actor MyActor {
nonisolated func asyncNonisolated(_ x: NonSendable) async {}
nonisolated func syncNonisolated(_ x: NonSendable) {}
nonisolated func asyncNonisolatedGeneric<T>(_ t: T) async {}
nonisolated func syncNonisolatedGeneric<T>(_ t: T) {}
}
final actor MyFinalActor {
nonisolated func asyncNonisolated(_ x: NonSendable) async {}
nonisolated func syncNonisolated(_ x: NonSendable) {}
nonisolated func asyncNonisolatedGeneric<T>(_ t: T) async {}
nonisolated func syncNonisolatedGeneric<T>(_ t: T) {}
}
@MainActor func transferToMain<T>(_ t: T) async {}
func useValueAsync<T>(_ t: T) async {}
func useValueSync<T>(_ t: T) {}
/////////////////
// MARK: Tests //
/////////////////
func callMyActor_NonIsolatedAsync_TransferAfter(_ a: MyActor) async {
let x = NonSendable()
await a.asyncNonisolated(x)
await a.asyncNonisolated(x)
await transferToMain(x)
}
func callMyActor_NonIsolatedSync_TransferAfter(_ a: MyActor) async {
let x = NonSendable()
a.syncNonisolated(x)
a.syncNonisolated(x)
await transferToMain(x)
}
func callMyActor_NonIsolatedAsync_AsyncUseAfter(_ a: MyActor) async {
let x = NonSendable()
await a.asyncNonisolated(x)
await a.asyncNonisolated(x)
await useValueAsync(x)
}
func callMyActor_NonIsolatedSync_AsyncUseAfter(_ a: MyActor) async {
let x = NonSendable()
a.syncNonisolated(x)
a.syncNonisolated(x)
await useValueAsync(x)
}
func callMyActor_NonIsolatedAsync_SyncUseAfter(_ a: MyActor) async {
let x = NonSendable()
await a.asyncNonisolated(x)
await a.asyncNonisolated(x)
useValueSync(x)
}
func callMyActor_NonIsolatedSync_SyncUseAfter(_ a: MyActor) async {
let x = NonSendable()
a.syncNonisolated(x)
a.syncNonisolated(x)
useValueSync(x)
}
func callMyFinalActor_NonIsolatedAsync_TransferAfter(_ a: MyFinalActor) async {
let x = NonSendable()
await a.asyncNonisolated(x)
await a.asyncNonisolated(x)
await transferToMain(x)
}
func callMyFinalActor_NonIsolatedSync_TransferAfter(_ a: MyFinalActor) async {
let x = NonSendable()
a.syncNonisolated(x)
a.syncNonisolated(x)
await transferToMain(x)
}
func callMyFinalActor_NonIsolatedAsync_AsyncUseAfter(_ a: MyFinalActor) async {
let x = NonSendable()
await a.asyncNonisolated(x)
await a.asyncNonisolated(x)
await useValueAsync(x)
}
func callMyFinalActor_NonIsolatedSync_AsyncUseAfter(_ a: MyFinalActor) async {
let x = NonSendable()
a.syncNonisolated(x)
a.syncNonisolated(x)
await useValueAsync(x)
}
func callMyFinalActor_NonIsolatedAsync_SyncUseAfter(_ a: MyFinalActor) async {
let x = NonSendable()
await a.asyncNonisolated(x)
await a.asyncNonisolated(x)
useValueSync(x)
}
func callMyFinalActor_NonIsolatedSync_SyncUseAfter(_ a: MyFinalActor) async {
let x = NonSendable()
a.syncNonisolated(x)
a.syncNonisolated(x)
useValueSync(x)
}
func callIsolatedFunction() async {
let x = NonSendable()
await useValueAsync(x)
useValueSync(x)
}
@MainActor
func callMainActorIsolatedFunction() async {
let x = NonSendable()
await useValueAsync(x)
useValueSync(x)
}
|
