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
|
// RUN: %target-swift-frontend -sil-verify-all -verify -emit-sil -enable-experimental-feature MoveOnlyEnumDeinits -enable-experimental-feature ConsumeSelfInDeinit %s
class Klass {}
var globalMoveOnlyStruct = MoveOnlyStruct()
var globalMoveOnlyEnum = MoveOnlyEnum.lhs(Klass())
struct MoveOnlyStruct: ~Copyable {
var k = Klass()
deinit {
// expected-error @-1 {{'self' consumed more than once}}
// expected-error @-2 {{'self' consumed more than once}}
let x = self // expected-note {{consumed here}}
_ = x
var y = MoveOnlyStruct() // expected-error {{'y' consumed more than once}}
y = self
// expected-note @-1 {{consumed here}}
// expected-note @-2 {{consumed again here}}
_ = y
// expected-note @-1 {{consumed here}}
let z = y // expected-note {{consumed again here}}
let _ = z
globalMoveOnlyStruct = self
// expected-note @-1 {{consumed again here}}
}
}
enum MoveOnlyEnum: ~Copyable {
case lhs(Klass)
case rhs(Klass)
deinit {
// expected-error @-1 {{'self' consumed more than once}}
// expected-error @-2 {{'self' consumed more than once}}
// expected-error @-3 {{'self' used after consume}}
let x = self // expected-note {{consumed here}}
_ = x
var y = MoveOnlyEnum.lhs(Klass())
y = self // expected-note {{consumed here}}
// expected-note @-1 {{consumed again here}}
_ = y
globalMoveOnlyEnum = self // expected-note {{consumed here}}
// expected-note @-1 {{consumed again here}}
} // expected-note {{used here}}
}
|
