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
|
// RUN: %target-typecheck-verify-swift
// rdar://121214563
// REQUIRES: rdar121214563
protocol Q {}
protocol P {
associatedtype T: Q
var member: T { get set }
var otherMember: any Q { get set }
subscript(_: Int) -> T { get set }
}
func takesAny(x: any Q) {}
func takesRValue(x: any Q) {}
func takesInOut(x: inout any Q) {}
func f(data: inout any P) {
takesAny(x: data.member)
takesAny(x: data[0])
takesRValue(x: data.member)
takesRValue(x: data[0])
takesInOut(x: &data.member) // expected-error {{cannot pass immutable value as inout argument: 'data' is immutable}}
takesInOut(x: &data[0]) // expected-error {{cannot pass immutable value as inout argument: 'data' is immutable}}
takesInOut(x: &data.otherMember) // okay
}
struct S {
subscript<T: Q>(_ ct: T.Type) -> T {
get { fatalError() }
set { fatalError() }
}
}
func f(s: inout S, t: any Q.Type) -> (any Q) {
takesAny(x: s[t])
takesRValue(x: s[t])
takesInOut(x: &s[t]) // expected-error {{cannot pass immutable value as inout argument: 's' is immutable}}
}
// https://github.com/apple/swift/issues/62219
do {
struct Action {
var intVar: Int
var strVar: String
}
protocol TestDelegate: AnyObject {
associatedtype ActionType
var actions: [ActionType] { get set }
}
class TestDelegateImpl: TestDelegate {
typealias ActionType = Action
var actions: [Action] = []
}
class TestViewController {
var testDelegate: (any TestDelegate)?
func testFunc() {
testDelegate?.actions.removeAll() // expected-error {{cannot use mutating member on immutable value: 'self' is immutable}}
}
}
}
|
