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
|
// RUN: %target-swift-frontend -disable-experimental-parser-round-trip -disable-availability-checking -enable-experimental-feature ValueGenerics -enable-experimental-feature BuiltinModule -typecheck -verify %s
// REQUIRES: swift_feature_BuiltinModule
// REQUIRES: swift_feature_ValueGenerics
import Builtin
func a<let N: Int, T>(x: Builtin.FixedArray<N, T>) -> Builtin.FixedArray<N, T> {
return x
}
func b<T, let N: Int>(x: Builtin.FixedArray<T, N>) -> Builtin.FixedArray<T, N> { // expected-error 2 {{}}
return x
}
func c(x: Builtin.FixedArray<4, Int>) {}
func d(x: Builtin.FixedArray<4, 4>) {} // expected-error{{}}
func e(x: Builtin.FixedArray<Int, Int>) {} // expected-error{{}}
func f(x: Builtin.FixedArray<Int, 4>) {} // expected-error{{}}
struct CopyableContainingNoncopyableVector<T: ~Copyable>: Copyable {
var x: Builtin.FixedArray<4, T> // expected-error{{}}
}
struct CopyableContainingCopyableVector<T>: Copyable {
var x: Builtin.FixedArray<4, T>
}
struct MyVector<let N: Int, T: ~Copyable>: ~Copyable {
var storage: Builtin.FixedArray<N, T>
}
extension MyVector: Copyable where T: Copyable {}
extension MyVector: BitwiseCopyable where T: BitwiseCopyable {}
struct BitwiseCopyableVector<T: BitwiseCopyable>: BitwiseCopyable {
var x: Builtin.FixedArray<4, T>
}
struct NonBitwiseCopyableVector<T>: BitwiseCopyable {
var x: Builtin.FixedArray<4, T> // expected-error{{}}
}
|
