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
|
// RUN: %target-swift-emit-ir %s -DIGNORE_FAILS -enable-experimental-feature Embedded -wmo -o /dev/null
// RUN: %target-swift-emit-ir %s -enable-experimental-feature Embedded -wmo -verify
// REQUIRES: OS=macosx || OS=linux-gnu
// REQUIRES: swift_feature_Embedded
struct MyStruct<Item> : ~Copyable {
var member = "42"
init() {}
deinit {}
mutating func foo() {}
}
var escape: (()->())?
#if !IGNORE_FAILS
public func test() {
var s = MyStruct<Int>() // expected-error {{capturing generic non-copyable type with deinit in escaping closure not supported in embedded Swift}}
s.foo()
escape = {
s.foo()
}
}
//
struct Outer: ~Copyable {
var inner: MyStruct<Int>
}
public func testNested() {
var s = Outer(inner: MyStruct<Int>()) // expected-error {{capturing generic non-copyable type with deinit in escaping closure not supported in embedded Swift}}
s.inner.foo()
escape = {
s.inner.foo()
}
}
//
enum E: ~Copyable {
case A(MyStruct<Int>)
case B
mutating func foo() {}
}
public func testEnum() {
var s = E.A(MyStruct<Int>()) // expected-error {{capturing generic non-copyable type with deinit in escaping closure not supported in embedded Swift}}
s.foo()
escape = {
s.foo()
}
}
#endif
//
struct StructWithoutDeinit<Item> {
var member = "42"
init() {}
mutating func foo() {}
}
public func testWithoutDeinit() {
var s = StructWithoutDeinit<Int>()
s.foo()
escape = {
s.foo()
}
}
//
struct NonCopyableStructWithoutDeinit<Item>: ~Copyable {
var member = "42"
init() {}
mutating func foo() {}
}
public func testNonCopyableWithoutDeinit() {
var s = NonCopyableStructWithoutDeinit<Int>()
s.foo()
escape = {
s.foo()
}
}
//
struct NonGenericStruct : ~Copyable {
var member = "42"
init() {
}
deinit {
}
mutating func foo() {
}
}
public func testNonGeneric() {
var s = NonGenericStruct()
s.foo()
escape = {
s.foo()
}
}
|
