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
|
// RUN: %target-swift-frontend \
// RUN: %s \
// RUN: -emit-silgen \
// RUN: -target %target-swift-5.1-abi-triple \
// RUN: -enable-experimental-feature Sensitive \
// RUN: -enable-experimental-feature ValueGenerics \
// RUN: -enable-builtin-module
// REQUIRES: swift_feature_Sensitive
// REQUIRES: swift_feature_ValueGenerics
// REQUIRES: asserts
// Force verification of TypeLowering's isTrivial.
import Builtin
struct S : BitwiseCopyable {
unowned(unsafe) let c: Builtin.AnyObject
}
struct B<T> {
var t: T
}
func doit() -> B<Int> {
return .init(t: 0)
}
struct Conditional<T> {
var t: T
}
extension Conditional : BitwiseCopyable where T : BitwiseCopyable {}
func doit() -> B<Conditional<Int>> {
.init(t: .init(t: 0))
}
enum Context<T> {
struct Here {
var t: T
}
}
func doit() -> Context<Int>.Here { .init(t: 0) }
public enum E : BitwiseCopyable {
case a
}
func take<T : BitwiseCopyable>(_ t: T) {}
func pass(_ e: E) { take(e) }
func opacify() -> some BitwiseCopyable {
return Int()
}
struct NeverGoingToBeBitwiseCopyable {
var a: AnyObject
}
@available(*, unavailable)
extension NeverGoingToBeBitwiseCopyable : BitwiseCopyable {
}
struct AlsoNotBitwiseCopyable : ~BitwiseCopyable {}
@sensitive
struct S_Explicit_Sensitive {
}
func takeS_Explicit_Sensitive(_ s: S_Explicit_Sensitive) {
}
import Builtin
func foo() {
let bricks: Builtin.FixedArray<1, Conditional<Int>>
let bricks2: Builtin.FixedArray<1, Conditional<String>>
}
|
