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
|
// RUN: %target-swift-emit-sil -sil-verify-all -verify %s
class Klass {}
struct E {
var k = Klass()
}
struct E2 : ~Copyable {
var k = Klass()
}
var g: () -> () = {}
struct Test : ~Copyable {
var e: E
var e2: E2
// Test that we capture inits by address.
init() {
e = E()
e2 = E2()
func capture() {
let _ = self.e
}
capture()
}
init(x: ()) { // expected-error {{'self' consumed more than once}}
// expected-note@+7{{consumed here}}
// expected-note@+7{{consumed again here}}
// expected-error@-3{{missing reinitialization of closure capture 'self' after consume}}
// expected-note@+5{{consumed here}}
e = E()
e2 = E2()
func capture() {
let _ = self
let _ = self.e2
}
capture()
}
init(y: ()) { // expected-error {{missing reinitialization of closure capture 'self' after consume}}
e = E()
e2 = E2()
func capture() {
let _ = self // expected-note {{consumed here}}
}
capture()
}
init(z: ()) {
e = E()
e2 = E2()
func capture() {
let _ = self // expected-note {{captured here}}
}
capture()
g = capture // expected-error {{escaping local function captures mutating 'self' parameter}}
}
func captureByLocalFunction() {
func capture() {
let _ = self.e
}
capture()
}
func captureByLocalFunction2() { // expected-error {{noncopyable 'self' cannot be consumed when captured by an escaping closure}}
func capture() {
let _ = self.e2 // expected-note {{consumed here}}
}
capture()
}
func captureByLocalFunction3() { // expected-error {{noncopyable 'self' cannot be consumed when captured by an escaping closure}}
func capture() {
let _ = self // expected-note {{consumed here}}
}
capture()
}
func captureByLocalLet() { // expected-error {{'self' cannot be captured by an escaping closure since it is a borrowed parameter}}
let f = { // expected-note {{capturing 'self' here}}
let _ = self.e
}
f()
}
func captureByLocalVar() { // expected-error {{'self' cannot be captured by an escaping closure since it is a borrowed parameter}}
var f = {}
f = { // expected-note {{closure capturing 'self' here}}
let _ = self.e
}
f()
}
func captureByNonEscapingClosure() {
func useClosure(_ f: () -> ()) {}
useClosure {
let _ = self.e
}
}
func captureByNonEscapingClosure2() { // expected-error {{'self' cannot be consumed when captured by an escaping closure}}
func useClosure(_ f: () -> ()) {}
useClosure {
let _ = self // expected-note {{consumed here}}
}
}
}
|
