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
|
// RUN: %target-swift-frontend -sil-verify-all -verify -emit-sil -enable-experimental-feature MoveOnlyEnumDeinits -enable-experimental-feature ConsumeSelfInDeinit %s
func posix_close(_ t: Int) {}
struct GoodFileDescriptor: ~Copyable {
let _fd: Int = 0
var rawFileDescriptor: Int {
__consuming get {
let x = _fd
discard self
return x
}
}
__consuming func close() {
posix_close(_fd)
discard self
}
deinit {
close()
}
}
struct BadFileDescriptor: ~Copyable {
let _fd: Int = 0
deinit {}
var rawFileDescriptor: Int {
__consuming get { // expected-error {{'self' consumed more than once}}
discard self // expected-note {{consumed here}}
return self.rawFileDescriptor // expected-note {{consumed again here}}
// expected-warning@-1 {{function call causes an infinite recursion}}
}
}
__consuming func closeBoring(_ b: Bool) -> Int { // expected-error {{'self' consumed more than once}}
if b {
discard self // expected-note {{consumed here}}
}
return rawFileDescriptor // expected-note {{consumed again here}}
}
__consuming func closeRepeatedly(_ n: Int) -> Int { // expected-error {{'self' used after consume}}
for _ in 0..<n {
posix_close(_fd) // expected-note {{used here}}
discard self // expected-note {{consumed here}}
}
return 0
}
}
final class Wallet {
var ticket1: Ticket = .green
}
enum Ticket: ~Copyable {
case green
case yellow
case red
case pagedOut(GoodFileDescriptor)
case within(Wallet)
consuming func discard() { discard self }
init(inWallet wallet: Wallet? = nil) { // expected-error {{'self' consumed more than once}}
self = .within(Wallet())
if let existingWallet = wallet {
discard()
self = .within(existingWallet)
}
discard(forever: true) // expected-note {{consumed here}}
} // expected-note {{consumed again here}}
__consuming func discard(forever: Bool) { // expected-error {{'self' consumed in a loop}}
while forever {
discard self // expected-note {{consumed here}}
}
}
__consuming func inspect() { // expected-error {{'self' consumed more than once}}
switch consume self { // expected-note {{consumed here}}
// TODO: case patterns with shared block rdar://125188955
/*
case .green, .yellow, .red:
discard self // e/xpected-note {{consumed again here}}
*/
case .green:
discard self
case .yellow:
discard self
case .red:
discard self // expected-note {{consumed again here}}
default:
return
}
}
deinit {}
}
|
