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
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
|
// RUN: %target-typecheck-verify-swift \
// RUN: -disable-availability-checking \
// RUN: -enable-experimental-feature NonescapableTypes \
// RUN: -enable-builtin-module \
// RUN: -debug-diagnostic-names
//==============================================================================
//===========================DEPENDENCY-FREE TESTS=(BEGIN)===================={{
//==============================================================================
func take1<T : BitwiseCopyable>(_ t: T) {}
class C_Implicit {}
func passC_Implicit(_ c: C_Implicit) { take1(c) } // expected-error {{type_does_not_conform_decl_owner}}
// expected-note@-5 {{where_requirement_failure_one_subst}}
class C_Explicit : BitwiseCopyable {} // expected-error {{non_bitwise_copyable_type_class}}
func passC_Explicit(_ c: C_Explicit) { take1(c) }
struct S_Empty : BitwiseCopyable {}
func passS_Empty(_ s: S_Empty) { take1(s) }
struct S_Implicit_With_C_Implicit {
var guts: C_Implicit
}
func passS_Implicit_With_C_Implicit(_ s: S_Implicit_With_C_Implicit) {
take1(s) // expected-error {{type_does_not_conform_decl_owner}}
// expected-note@-21 {{where_requirement_failure_one_subst}}
}
struct S_Explicit_With_C_Implicit : BitwiseCopyable {
var guts: C_Implicit // expected-error {{non_bitwise_copyable_type_member}}
// expected-note@-24 {{non_bitwise_copyable_nominal}}
}
struct S_Explicit_With_Function_Swift : BitwiseCopyable {
var f: @convention(swift) () -> () // expected-error {{non_bitwise_copyable_type_member}}
// expected-note@-1 {{non_bitwise_copyable_function_type}}
}
struct S_Explicit_With_Function_Block : BitwiseCopyable {
var f: @convention(block) () -> () // expected-error {{non_bitwise_copyable_type_member}}
// expected-note@-1 {{non_bitwise_copyable_function_type}}
}
struct S_Explicit_With_Function_Thin : BitwiseCopyable {
var f: @convention(thin) () -> ()
}
struct S_Explicit_With_Function_C : BitwiseCopyable {
var f: @convention(c) () -> ()
}
public struct S_Public {}
struct S_Explicit_With_S_Public : BitwiseCopyable {
var s: S_Public // expected-error {{non_bitwise_copyable_type_member}}
// expected-note@-4 {{add_nominal_bitwise_copyable_conformance}}
}
struct S_Explicit_With_Generic<T> : BitwiseCopyable {
var t: T // expected-error {{non_bitwise_copyable_type_member}}
// expected-note@-2 {{add_generic_parameter_non_bitwise_copyable_conformance}}
}
protocol Derived : BitwiseCopyable {}
class C_Explicit_Derived : Derived {} // expected-error {{non_bitwise_copyable_type_class}}
struct S_Explicit_Derived_With_C_Implicit : Derived {
var c: C_Implicit // expected-error {{non_bitwise_copyable_type_member}}
// expected-note@-63 {{non_bitwise_copyable_nominal}}
}
struct S_Explicit_With_Metatype_S_Public : BitwiseCopyable {
var ty: S_Public.Type
}
struct S_Explicit_With_Metatype_Generic<T> : BitwiseCopyable {
var ty: T.Type
}
struct S_Explicit_With_Metatype_Optional_Generic<T> : BitwiseCopyable {
var ty: Optional<T>.Type
}
struct S_Explicit_With_Metatype_Optional_AnyObject : BitwiseCopyable {
var ty: Optional<AnyObject>.Type
}
//==============================================================================
//===========================DEPENDENCY-FREE TESTS=(END)======================}}
//==============================================================================
//==============================================================================
//=========================BUILTIN-DEPENDENCY TESTS=(BEGIN)==================={{
//==============================================================================
import Builtin
func take5<T : BitwiseCopyable>(_ t: T) {}
// Conforming builtins
func passBuiltinInteger(_ b: Builtin.Int64) { take5(b) }
func passBuiltinFloat(_ b: Builtin.FPIEEE64) { take5(b) }
func passBuiltinPackIndex(_ b: Builtin.PackIndex) { take5(b) }
func passBuiltinRawPointer(_ b: Builtin.RawPointer) { take5(b) }
func passBuiltinVector(_ b: Builtin.Vec2xInt65) { take5(b) }
func passBuiltinExecutor(_ b: Builtin.Executor) { take5(b) }
func passBuiltinJob(_ b: Builtin.Job) { take5(b) }
func passBuiltinRawUnsafeContinuation(_ b: Builtin.RawUnsafeContinuation) { take5(b) }
// Non-conforming builtins
func passBuiltinNativeObject(_ b: Builtin.NativeObject) { take5(b) } // expected-error {{type_does_not_conform_decl_owner}}
// expected-note@-14 {{where_requirement_failure_one_subst}}
func passBuiltinBridgeObject(_ b: Builtin.BridgeObject) { take5(b) } // expected-error {{type_does_not_conform_decl_owner}}
// expected-note@-16 {{where_requirement_failure_one_subst}}
func passBuiltinUnsafeValueBuffer(_ b: Builtin.UnsafeValueBuffer) { take5(b) } // expected-error {{type_does_not_conform_decl_owner}}
// expected-note@-18 {{where_requirement_failure_one_subst}}
func passBuiltinDefaultActorStorage(_ b: Builtin.DefaultActorStorage) { take5(b) } // expected-error {{type_does_not_conform_decl_owner}}
// expected-note@-20 {{where_requirement_failure_one_subst}}
func passBuiltinNonDefaultDistributedActorStorage(_ b: Builtin.NonDefaultDistributedActorStorage) { take5(b) } // expected-error {{type_does_not_conform_decl_owner}}
// expected-note@-22 {{where_requirement_failure_one_subst}}
//==============================================================================
//==========================BUILTIN-DEPENDENCY TESTS=(END)====================}}
//==============================================================================
//==============================================================================
//==========================STDLIB-DEPENDENCY TESTS=(BEGIN)==================={{
//==============================================================================
func take3<T : BitwiseCopyable>(_ t: T) {}
func passInt(_ i: Int) { take3(i) }
func passTupleIntInt(_ t: (Int, Int)) { take3(t) }
func passFloat(_ f: Float) { take3(f) }
func passAnyObject(_ o: AnyObject) { take3(o) } // expected-error {{type_does_not_conform_decl_owner}}
func passAnyAnyObject(_ o: any AnyObject) { take3(o) } // expected-error {{type_does_not_conform_decl_owner}}
func passAny(_ a: Any) { take3(a) } // expected-error {{type_does_not_conform_decl_owner}}
func passAnyAny(_ a: any Any) { take3(a) } // expected-error {{type_does_not_conform_decl_owner}}
func passString(_ s: String) { take3(s) } // expected-error {{type_does_not_conform_decl_owner}}
// expected-note@-19 {{where_requirement_failure_one_subst}}
extension Optional where Wrapped : Copyable & Escapable {
struct Some : BitwiseCopyable & Copyable & Escapable {
var wrapped: Wrapped // expected-error {{non_bitwise_copyable_type_member}}
}
}
extension Optional where Wrapped : BitwiseCopyable {
struct Some2 : BitwiseCopyable {
var wrapped: Wrapped
}
}
struct S_Explicit_With_Generic_Optional<T> : BitwiseCopyable {
var o: Optional<T> // expected-error {{non_bitwise_copyable_type_member}}
}
struct S_Explicit_With_2_Generic_Optionals<T> : BitwiseCopyable {
var o1: Optional<T> // expected-error {{non_bitwise_copyable_type_member}}
var o2: T? // expected-error {{non_bitwise_copyable_type_member}}
}
struct S_Explicit_WithBitwiseCopyable_Generic_Optional<T : BitwiseCopyable> : BitwiseCopyable {
var o: Optional<T>
}
struct S_Explicit_With_2BitwiseCopyable_Generic_Optional<T : BitwiseCopyable> : BitwiseCopyable {
var o: Optional<T>
var o2: T?
}
// TODO: When the standard library is built with NonescapableTypes, this should
// be uncommented.
//struct S_Explicit_Nonescapable : ~Escapable, BitwiseCopyable {}
struct S_Explicit_Noncopyable : ~Copyable, BitwiseCopyable {} // expected-error{{type_does_not_conform}}
struct S_Implicit_Nonescapable : ~Escapable {}
struct S_Implicit_Noncopyable : ~Copyable {}
func passUnmanaged<T : AnyObject>(_ u: Unmanaged<T>) { take3(u) }
struct S_Explicit_With_Unmanaged<T : AnyObject> : BitwiseCopyable {
var u: Unmanaged<T>
}
func passUnsafePointer<T>(_ p: UnsafePointer<T>) { take3(p) }
struct S_Explicit_With_UnsafePointer<T> : BitwiseCopyable {
var ptr: UnsafePointer<T>
}
func passUnsafeMutablePointer<T>(_ p: UnsafeMutablePointer<T>) { take3(p) }
struct S_Explicit_With_UnsafeMutablePointer<T> : BitwiseCopyable {
var ptr: UnsafeMutablePointer<T>
}
func passUnsafeBufferPointer<T>(_ p: UnsafeBufferPointer<T>) { take3(p) }
struct S_Explicit_With_UnsafeBufferPointer<T> : BitwiseCopyable {
var ptr: UnsafeBufferPointer<T>
}
func passUnsafeMutableBufferPointer<T>(_ p: UnsafeMutableBufferPointer<T>) { take3(p) }
struct S_Explicit_With_UnsafeMutableBufferPointer<T> : BitwiseCopyable {
var ptr: UnsafeMutableBufferPointer<T>
}
func passPointer<T : _Pointer>(_ p: T) { take3(p) }
//==============================================================================
//==========================STDLIB-DEPENDENCY TESTS=(END)=====================}}
//==============================================================================
//==============================================================================
//=======================_CONCURRENCY-DEPENDENCY TESTS=(BEGIN)================{{
//==============================================================================
func take4<T : BitwiseCopyable>(_ t: T) {}
func passUnsafeContinuation<T : BitwiseCopyable, U : Error & BitwiseCopyable>(
_ c: UnsafeContinuation<T, U>
)
{
take4(c)
}
extension CheckedContinuation : @retroactive BitwiseCopyable {} // expected-error{{conformance to 'BitwiseCopyable' must occur in the same module as generic struct 'CheckedContinuation'}}
//==============================================================================
//========================_CONCURRENCY-DEPENDENCY TESTS=(END)=================}}
//==============================================================================
|
