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
|
// RUN: %target-swift-frontend -disable-availability-checking -strict-concurrency=complete -swift-version 6 %s -emit-sil -o /dev/null -verify
// REQUIRES: concurrency
class Box {
let size : Int = 0
}
actor Door {
let immutable : Int = 0
let letBox : Box? = nil
let letDict : [Int : Box] = [:]
let immutableNeighbor : Door? = nil
var mutableNeighbor : Door? = nil
var varDict : [Int : Box] = [:]
var mutable : Int = 0
var varBox : Box = Box()
var getOnlyInt : Int {
get { 0 }
}
@MainActor var globActor_mutable : Int = 0
@MainActor let globActor_immutable : Int = 0
@preconcurrency @MainActor var unsafeGlobActor_mutable : Int = 0
@preconcurrency @MainActor let unsafeGlobActor_immutable : Int = 0
subscript(byIndex: Int) -> Int { 0 }
@MainActor subscript(byName: String) -> Int { 0 }
nonisolated subscript(byIEEE754: Double) -> Int { 0 }
}
func attemptAccess<T, V>(_ t : T, _ f : (T) -> V) -> V {
return f(t)
}
func tryKeyPathsMisc(d : Door) {
// as a func
_ = attemptAccess(d, \Door.mutable) // expected-error {{cannot form key path to actor-isolated property 'mutable'}}
_ = attemptAccess(d, \Door.immutable)
_ = attemptAccess(d, \Door.immutableNeighbor?.immutableNeighbor)
// in combination with other key paths
_ = (\Door.letBox).appending(path: // expected-error {{cannot form key path to actor-isolated property 'letBox'}}
\Box?.?.size)
_ = (\Door.varBox).appending(path: // expected-error {{cannot form key path to actor-isolated property 'varBox'}}
\Box.size)
}
func tryKeyPathsFromAsync() async {
_ = \Door.unsafeGlobActor_immutable
_ = \Door.unsafeGlobActor_mutable // expected-error {{cannot form key path to main actor-isolated property 'unsafeGlobActor_mutable'}}
}
func tryNonSendable() {
_ = \Door.letDict[0] // expected-error {{cannot form key path to actor-isolated property 'letDict'}}
_ = \Door.varDict[0] // expected-error {{cannot form key path to actor-isolated property 'varDict'}}
_ = \Door.letBox!.size // expected-error {{cannot form key path to actor-isolated property 'letBox'}}
}
func tryKeypaths() {
_ = \Door.unsafeGlobActor_immutable
_ = \Door.unsafeGlobActor_mutable // expected-error {{cannot form key path to main actor-isolated property 'unsafeGlobActor_mutable'}}
_ = \Door.immutable
_ = \Door.globActor_immutable
_ = \Door.[4.2]
_ = \Door.immutableNeighbor?.immutableNeighbor?.immutableNeighbor
_ = \Door.varBox // expected-error{{cannot form key path to actor-isolated property 'varBox'}}
_ = \Door.mutable // expected-error{{cannot form key path to actor-isolated property 'mutable'}}
_ = \Door.getOnlyInt // expected-error{{cannot form key path to actor-isolated property 'getOnlyInt'}}
_ = \Door.mutableNeighbor?.mutableNeighbor?.mutableNeighbor // expected-error 3 {{cannot form key path to actor-isolated property 'mutableNeighbor'}}
let _ : PartialKeyPath<Door> = \.mutable // expected-error{{cannot form key path to actor-isolated property 'mutable'}}
let _ : AnyKeyPath = \Door.mutable // expected-error{{cannot form key path to actor-isolated property 'mutable'}}
_ = \Door.globActor_mutable // expected-error{{cannot form key path to main actor-isolated property 'globActor_mutable'}}
_ = \Door.[0] // expected-error{{cannot form key path to actor-isolated subscript 'subscript(_:)'}}
_ = \Door.["hello"] // expected-error {{cannot form key path to main actor-isolated subscript 'subscript(_:)'}}
}
|
