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
|
// RUN: %target-swift-frontend -emit-sil -verify %s
class Class {}
//struct Class : ~Copyable {}
func consume(_: consuming Class) {}
func nonescapingClosure(_ body: () -> ()) {
body()
}
func testNonescapingCaptureConsuming(x: consuming Class) { // expected-error{{}}
nonescapingClosure { consume(x) } // expected-note{{consumed here}}
}
// TODO: `defer` should be allowed to consume local bindings
func testDeferCaptureConsuming(x: consuming Class) { // expected-error{{}}
defer { consume(x) } // expected-note{{consumed here}}
do {}
}
func testLocalFunctionCaptureConsuming(x: consuming Class) {
func local() {
consume(x) // expected-error{{cannot be consumed when captured by an escaping closure}}
}
}
func testNonescapingCaptureBorrowing(x: borrowing Class) { // expected-error{{}}
nonescapingClosure { consume(x) } // expected-note{{consumed here}}
}
func testDeferCaptureBorrowing(x: borrowing Class) { // expected-error{{}}
defer { consume(x) } // expected-note{{consumed here}}
do {}
}
func testLocalFunctionCaptureBorrowing(x: borrowing Class) { // expected-error{{borrowed and cannot be consumed}}
func local() {
consume(x) // expected-note{{consumed here}}
}
}
|
