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
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend -emit-module -o %t/Preconcurrency.swiftmodule -module-name Preconcurrency %S/Inputs/preconcurrency.swift
// RUN: %target-swift-frontend -emit-module -o %t/Test.swiftmodule -emit-module-interface-path %t/Test.swiftinterface -module-name Test -enable-experimental-concurrency -I %t %s
// RUN: %FileCheck %s < %t/Test.swiftinterface
// RUN: %FileCheck %s -check-prefix SYNTHESIZED < %t/Test.swiftinterface
// RUN: %target-swift-typecheck-module-from-interface(%t/Test.swiftinterface) -module-name Test -I %t
// RUN: %target-swift-frontend -emit-module -o /dev/null -merge-modules %t/Test.swiftmodule -disable-objc-attr-requires-foundation-module -emit-module-interface-path %t/TestFromModule.swiftinterface -module-name Test -enable-experimental-concurrency -I %t
// RUN: %FileCheck %s < %t/TestFromModule.swiftinterface
// RUN: %target-swift-typecheck-module-from-interface(%t/TestFromModule.swiftinterface) -module-name Test -I %t
// REQUIRES: concurrency
import Preconcurrency
// CHECK: public actor SomeActor
@available(SwiftStdlib 5.1, *)
public actor SomeActor {
nonisolated func maine() { }
// CHECK: nonisolated public func takesIsolated(other: isolated {{(Test.)?}}SomeActor)
public nonisolated func takesIsolated(other: isolated SomeActor) { }
}
// CHECK: @globalActor public struct SomeGlobalActor
@available(SwiftStdlib 5.1, *)
@globalActor
public struct SomeGlobalActor {
public static let shared = SomeActor()
}
// CHECK: @{{(Test.)?}}SomeGlobalActor public protocol P1
// CHECK-NEXT: @{{(Test.)?}}SomeGlobalActor func method()
@available(SwiftStdlib 5.1, *)
@SomeGlobalActor
public protocol P1 {
func method()
}
// CHECK: class C1
// CHECK-NEXT: @{{(Test.)?}}SomeGlobalActor public func method()
@available(SwiftStdlib 5.1, *)
public class C1: P1 {
public func method() { }
}
@available(SwiftStdlib 5.1, *)
@SomeGlobalActor
public class C2 { }
// CHECK: @{{(Test.)?}}SomeGlobalActor public class C2
@available(SwiftStdlib 5.1, *)
public class C3: C2 { }
// CHECK: public class C4 : Swift.UnsafeSendable
@available(SwiftStdlib 5.1, *)
public class C4: UnsafeSendable { }
// CHECK: public class C5 : @unchecked Swift.Sendable
@available(SwiftStdlib 5.1, *)
public class C5: @unchecked Sendable { }
@available(SwiftStdlib 5.1, *)
public class C6 { }
// CHECK: extension {{(Test.)?}}C6 : @unchecked Swift.Sendable
@available(SwiftStdlib 5.1, *)
extension C6: @unchecked Sendable { }
@available(SwiftStdlib 5.1, *)
public class C7 { }
// CHECK: extension {{(Test.)?}}C7 : Swift.UnsafeSendable
@available(SwiftStdlib 5.1, *)
extension C7: UnsafeSendable { }
@available(SwiftStdlib 5.1, *)
public protocol P2 {
@SomeGlobalActor func method()
}
// CHECK: class {{(Test.)?}}C8 : {{(Test.)?}}P2 {
@available(SwiftStdlib 5.1, *)
public class C8 : P2 {
// CHECK: @{{(Test.)?}}SomeGlobalActor public func method()
public func method() {}
}
// CHECK-NOT: StructWithImplicitlyNonSendable{{.*}}Sendable
@available(SwiftStdlib 5.1, *)
@_frozen
public struct StructWithImplicitlyNonSendable {
var ns: NotSendable? = nil
}
// FIXME: Work around a bug where module printing depends on the "synthesized"
// bit in conformances which is not serialized and not present in the textual
// form.
// SYNTHESIZED: extension Test.C2 : Swift.Sendable {}
|
