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
|
// RUN: %target-swift-frontend \
// RUN: %s \
// RUN: -emit-silgen \
// RUN: -disable-availability-checking \
// RUN: -enable-builtin-module
// 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 {}
|
