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
|
// RUN: %target-swift-frontend -DADDRESS_ONLY -emit-sil -verify %s
// RUN: %target-swift-frontend -DLOADABLE -emit-sil -verify %s
// RUN: %target-swift-frontend -DTRIVIAL -emit-sil -verify %s
// RUN: %target-swift-frontend -DEMPTY -emit-sil -verify %s
class X {}
struct NC: ~Copyable {
#if EMPTY
#elseif TRIVIAL
var x: Int = 0
#elseif LOADABLE
var x: X = X()
#elseif ADDRESS_ONLY
var x: Any = X()
#else
#error("pick a mode")
#endif
deinit { print("destroy") }
}
struct S {
var data: NC {
_read { yield NC() }
}
}
struct SNC: ~Copyable {
private var _data: NC = NC()
var data: NC {
_read { yield _data }
}
}
class C {
private var _data: NC = NC()
var data: NC {
_read { yield _data }
}
}
protocol P {
@_borrowed
var data: NC { get }
}
func borrow(_ nc: borrowing NC) {}
func take(_ nc: consuming NC) {}
func test(c: C) {
borrow(c.data)
take(c.data) // expected-error{{'c.data' is borrowed and cannot be consumed}} expected-note{{consumed here}}
}
func test(s: S) {
borrow(s.data)
take(s.data) // expected-error{{'s.data' is borrowed and cannot be consumed}} expected-note{{consumed here}}
}
func test(snc: borrowing SNC) {
borrow(snc.data)
take(snc.data) // expected-error{{'snc.data' is borrowed and cannot be consumed}} expected-note{{consumed here}}
}
func test<T: P>(t: T) {
borrow(t.data)
take(t.data) // expected-error{{'t.data' is borrowed and cannot be consumed}} expected-note{{consumed here}}
}
func test(p: P) {
borrow(p.data)
take(p.data) // expected-error{{'p.data' is borrowed and cannot be consumed}} expected-note{{consumed here}}
}
|
