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
|
// RUN: %target-typecheck-verify-swift -disable-availability-checking -enable-experimental-feature NoImplicitCopy
// REQUIRES: swift_feature_NoImplicitCopy
class Klass {
var k: Klass? = nil
}
var global: Int = 5
func testGlobal() {
let _ = copy global
}
func testLet() {
let t = String()
let _ = copy t
}
func testVar() {
var t = String()
t = String()
let _ = copy t
}
func testExprFailureLet() {
let t = 5
// Next line is parsed as move(t) + t
let _ = copy t + t
}
func testExprFailureVar() {
var t = 5
t = 5
// Next line is parsed as move(t) + t
let _ = copy t + t
}
func letAddressOnly<T>(_ v: T) {
let t = v
let _ = copy t
}
struct StructWithField {
var k: Klass? = nil
var computedK: Klass? { nil }
}
func testLetStructAccessField() {
let t = StructWithField()
let _ = copy t.k // expected-error {{'copy' can only be applied to a local binding ('let', 'var', or parameter)}}
}
func testLetStructAccessComputedField() {
let t = StructWithField()
let _ = copy t.computedK // expected-error {{'copy' can only be applied to a local binding ('let', 'var', or parameter)}}
}
func testVarStructAccessField() {
var t = StructWithField()
t = StructWithField()
let _ = copy t.k // expected-error {{'copy' can only be applied to a local binding ('let', 'var', or parameter)}}
}
func testLetClassAccessField() {
let t = Klass()
let _ = copy t.k // expected-error {{'copy' can only be applied to a local binding ('let', 'var', or parameter)}}
}
func testVarClassAccessField() {
var t = Klass()
t = Klass()
let _ = copy t.k // expected-error {{'copy' can only be applied to a local binding ('let', 'var', or parameter)}}
}
struct MoveOnly : ~Copyable {}
func testNoMoveOnlyCopy(_ x: borrowing MoveOnly) {
let _ = copy x // expected-error {{'copy' cannot be applied to noncopyable types}}
}
func testCopyResultImmutable() {
class Klass {}
struct Test {
var k = Klass()
mutating func mutatingTest() {}
func borrowingTest() {}
consuming func consumingTest() {}
}
var t = Test()
t.mutatingTest()
copy t.borrowingTest() // expected-error {{'copy' can only be applied to a local binding ('let', 'var', or parameter)}}
(copy t).borrowingTest()
(copy t).consumingTest()
(copy t).mutatingTest() // expected-error {{cannot use mutating member on immutable value of type 'Test'}}
(copy t) = Test() // expected-error {{cannot assign to immutable expression of type 'Test'}}
copy t = Test() // expected-error {{cannot assign to immutable expression of type 'Test'}}
}
|
