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
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend -emit-module -emit-module-path %t/OtherActors.swiftmodule -module-name OtherActors %S/Inputs/OtherActors.swift -target %target-swift-5.1-abi-triple
// RUN: %target-swift-frontend -I %t -target %target-swift-5.1-abi-triple -strict-concurrency=complete -parse-as-library %s -emit-sil -o /dev/null -verify
// RUN: %target-swift-frontend -I %t -target %target-swift-5.1-abi-triple -strict-concurrency=complete -parse-as-library %s -emit-sil -o /dev/null -verify -enable-upcoming-feature RegionBasedIsolation
// REQUIRES: concurrency
// REQUIRES: swift_feature_RegionBasedIsolation
actor Foo {
var t: Task<Void, Error>?
func access() {}
func bar() {
self.t = Task {
await withTaskCancellationHandler {
self.access()
} onCancel: { @Sendable in
}
}
}
}
actor Container {
var num: Int = 0 // expected-note{{mutation of this property is only permitted within the actor}}
func test() async {
// no warnings:
await withTaskCancellationHandler {
num += 1
} onCancel: {
// nothing
}
}
func errors() async {
await withTaskCancellationHandler {
num += 1 // no error, this runs synchronously on caller context
} onCancel: {
// this should error because cancellation is invoked concurrently
num += 10 // expected-error{{actor-isolated property 'num' can not be mutated from a Sendable closure}}
}
}
}
|
