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
|
// RUN: %target-typecheck-verify-swift -enable-experimental-feature ReferenceBindings
var globalValue = String()
class Klass {
var sStored: String = ""
var sGetter: String { fatalError() }
var sModify: String {
_read {
fatalError()
}
_modify {
fatalError()
}
}
}
struct S : ~Copyable {
var sStored: String = ""
var sGetter: String { fatalError() }
var sModify: String {
_read {
fatalError()
}
_modify {
fatalError()
}
}
}
func foo(_ arg: String, _ consumingArg: consuming String, _ borrowingArg: borrowing String, _ inoutArg: inout String) {
let letValue = 5
var varValue = 5
inout noInitialValue: String // expected-error {{inout bindings must have an initial value}}
inout literalX = 5 // expected-error {{inout bindings must be bound to an lvalue}}
inout consumingArgX = consumingArg
inout borrowingArgX = borrowingArg // expected-error {{inout bindings must be bound to an lvalue}}
inout inoutArgX = inoutArg
inout letValueX = letValue // expected-error {{inout bindings must be bound to an lvalue}}
inout varValueX = varValue
inout globalValueX = globalValue
let k = Klass()
inout storedKlassFieldX = k.sStored
inout getterKlassFieldX = k.sGetter // expected-error {{inout bindings must be bound to an lvalue}}
inout modifyKlassFieldX = k.sModify
let letStruct = S()
inout storedStructLetFieldX = letStruct.sStored // expected-error {{inout bindings must be bound to an lvalue}}
inout getterStructLetFieldX = letStruct.sGetter // expected-error {{inout bindings must be bound to an lvalue}}
inout modifyStructLetFieldX = letStruct.sModify // expected-error {{inout bindings must be bound to an lvalue}}
var varStruct = S()
inout storedStructVarFieldX = varStruct.sStored
inout getterStructVarFieldX = varStruct.sGetter // expected-error {{inout bindings must be bound to an lvalue}}
inout modifyStructVarFieldX = varStruct.sModify
}
// Make sure that we get never used to diagnostics, but not never written to diagnostics.
func neverWrittenMutatedDiagnostics() {
var x = "123"
x = "223"
do {
inout x2 = x // expected-warning {{initialization of variable 'x2' was never used; consider replacing with assignment to '_' or removing it}}
}
do {
inout x2 = x
let _ = x2
}
}
|
