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
|
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=targeted
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=complete
// RUN: %target-swift-frontend -disable-availability-checking %s -emit-sil -o /dev/null -verify -strict-concurrency=complete -enable-upcoming-feature RegionBasedIsolation
// REQUIRES: concurrency
// REQUIRES: asserts
protocol P: Actor {
func f()
var prop: Int { get set } // expected-note 2 {{mutation of this property is only permitted within the actor}}
}
actor A: P {
var prop: Int = 0 // expected-note 2 {{mutation of this property is only permitted within the actor}}
func f() {}
}
func from_isolated_existential1(_ x: isolated any P) {
x.f()
x.prop += 1
x.prop = 100
}
func from_isolated_existential2(_ x: isolated any P) async {
x.f()
x.prop += 1
x.prop = 100
}
func from_nonisolated(_ x: any P) async {
await x.f()
x.prop += 1 // expected-error {{actor-isolated property 'prop' can not be mutated from a nonisolated context}}
x.prop = 100 // expected-error {{actor-isolated property 'prop' can not be mutated from a nonisolated context}}
}
func from_concrete(_ x: A) async {
x.prop += 1 // expected-error {{actor-isolated property 'prop' can not be mutated from a nonisolated context}}
x.prop = 100 // expected-error {{actor-isolated property 'prop' can not be mutated from a nonisolated context}}
}
func from_isolated_concrete(_ x: isolated A) async {
x.prop += 1
x.prop = 100
}
// from https://github.com/apple/swift/issues/59573
actor Act {
var i = 0 // expected-note {{mutation of this property is only permitted within the actor}}
}
nonisolated let act = Act()
func bad() async {
// expected-warning@+2 {{no 'async' operations occur within 'await' expression}}
// expected-error@+1 {{actor-isolated property 'i' can not be mutated from a nonisolated context}}
await act.i = 666
}
protocol Proto: Actor {
var i: Int { get set } // expected-note 2 {{mutation of this property is only permitted within the actor}}
}
extension Act: Proto {}
func good() async {
// expected-warning@+2 {{no 'async' operations occur within 'await' expression}}
// expected-error@+1 {{actor-isolated property 'i' can not be mutated from a nonisolated context}}
await (act as any Proto).i = 42
let aIndirect: any Proto = act
// expected-warning@+2 {{no 'async' operations occur within 'await' expression}}
// expected-error@+1 {{actor-isolated property 'i' can not be mutated from a nonisolated context}}
await aIndirect.i = 777
}
|
