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
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend-emit-module -emit-module-path %t/FakeDistributedActorSystems.swiftmodule -module-name FakeDistributedActorSystems -disable-availability-checking %S/Inputs/FakeDistributedActorSystems.swift
// RUN: %target-swift-frontend -typecheck -verify -disable-availability-checking -I %t 2>&1 %s
// REQUIRES: concurrency
// REQUIRES: distributed
import Distributed
import FakeDistributedActorSystems
@available(SwiftStdlib 5.5, *)
typealias DefaultDistributedActorSystem = FakeActorSystem
distributed actor D {
func hello() {} // expected-note{{distributed actor-isolated instance method 'hello()' declared here}}
func helloAsync() async {} // expected-note{{distributed actor-isolated instance method 'helloAsync()' declared here}}
func helloAsyncThrows() async throws {} // expected-note{{distributed actor-isolated instance method 'helloAsyncThrows()' declared here}}
distributed func distHello() { } // ok
distributed func distHelloAsync() async { } // ok
distributed func distHelloThrows() throws { } // ok
distributed func distHelloAsyncThrows() async throws { } // ok
}
func test_not_distributed_funcs(distributed: D) async {
distributed.hello() // expected-error{{only 'distributed' instance methods can be called on a potentially remote distributed actor}}
distributed.helloAsync() // expected-error{{only 'distributed' instance methods can be called on a potentially remote distributed actor}}
// expected-error@-1{{expression is 'async' but is not marked with 'await'}}
// expected-note@-2{{call is 'async'}}
// {{expression is 'async' but is not marked with 'await'}}{{7-7=await }}
distributed.helloAsyncThrows() // expected-error{{only 'distributed' instance methods can be called on a potentially remote distributed actor}}
// expected-error@-1{{expression is 'async' but is not marked with 'await'}} // TODO: no need to diagnose this, it is impossible to call anyway
// expected-note@-2{{call is 'async'}}
// expected-error@-3{{call can throw, but it is not marked with 'try' and the error is not handled}} // TODO: no need to diagnose this, it is impossible to call anyway
}
func test_outside(distributed: D) async throws {
distributed.distHello() // expected-error{{expression is 'async' but is not marked with 'await'}}
// expected-error@-1{{call can throw but is not marked with 'try'}}
// expected-note@-2{{calls to distributed instance method 'distHello()' from outside of its actor context are implicitly asynchronous}}
// expected-note@-3{{did you mean to use 'try'?}}
// expected-note@-4{{did you mean to disable error propagation?}}
// expected-note@-5{{did you mean to handle error as optional value?}}
try distributed.distHello() // expected-error{{expression is 'async' but is not marked with 'await'}}
// expected-note@-1{{calls to distributed instance method 'distHello()' from outside of its actor context are implicitly asynchronous}}
await distributed.distHello() // expected-error{{call can throw but is not marked with 'try'}}
// expected-note@-1{{did you mean to use 'try'?}}
// expected-note@-2{{did you mean to disable error propagation?}}
// expected-note@-3{{did you mean to handle error as optional value?}}
try await distributed.distHello() // ok
distributed.distHelloAsync()// expected-error{{expression is 'async' but is not marked with 'await'}}
// expected-error@-1{{call can throw but is not marked with 'try'}}
// expected-note@-2{{calls to distributed instance method 'distHelloAsync()' from outside of its actor context are implicitly asynchronous}}
// expected-note@-3{{did you mean to use 'try'?}}
// expected-note@-4{{did you mean to disable error propagation?}}
// expected-note@-5{{did you mean to handle error as optional value?}}
try distributed.distHelloAsync() // expected-error{{expression is 'async' but is not marked with 'await'}}
// expected-note@-1{{calls to distributed instance method 'distHelloAsync()' from outside of its actor context are implicitly asynchronous}}
await distributed.distHelloAsync() // expected-error{{call can throw but is not marked with 'try'}}
// expected-note@-1{{did you mean to use 'try'?}}
// expected-note@-2{{did you mean to disable error propagation?}}
// expected-note@-3{{did you mean to handle error as optional value?}}
try await distributed.distHelloAsync() // ok
distributed.distHelloThrows() // expected-error{{expression is 'async' but is not marked with 'await'}}
// expected-error@-1{{call can throw but is not marked with 'try'}}
// expected-note@-2{{calls to distributed instance method 'distHelloThrows()' from outside of its actor context are implicitly asynchronous}}
// expected-note@-3{{did you mean to use 'try'?}}
// expected-note@-4{{did you mean to disable error propagation?}}
// expected-note@-5{{did you mean to handle error as optional value?}}
try distributed.distHelloThrows() // expected-error{{expression is 'async' but is not marked with 'await'}}
// expected-note@-1{{calls to distributed instance method 'distHelloThrows()' from outside of its actor context are implicitly asynchronous}}
await distributed.distHelloThrows() // expected-error{{call can throw but is not marked with 'try'}}
// expected-note@-1{{did you mean to use 'try'?}}
// expected-note@-2{{did you mean to disable error propagation?}}
// expected-note@-3{{did you mean to handle error as optional value?}}
try await distributed.distHelloThrows() // ok
distributed.distHelloAsyncThrows() // expected-error{{expression is 'async' but is not marked with 'await'}}
// expected-error@-1{{call can throw but is not marked with 'try'}}
// expected-note@-2{{calls to distributed instance method 'distHelloAsyncThrows()' from outside of its actor context are implicitly asynchronous}}
// expected-note@-3{{did you mean to use 'try'?}}
// expected-note@-4{{did you mean to disable error propagation?}}
// expected-note@-5{{did you mean to handle error as optional value?}}
try distributed.distHelloAsyncThrows() // expected-error{{expression is 'async' but is not marked with 'await'}}
// expected-note@-1{{calls to distributed instance method 'distHelloAsyncThrows()' from outside of its actor context are implicitly asynchronous}}
await distributed.distHelloAsyncThrows() // expected-error{{call can throw but is not marked with 'try'}}
// expected-note@-1{{did you mean to use 'try'?}}
// expected-note@-2{{did you mean to disable error propagation?}}
// expected-note@-3{{did you mean to handle error as optional value?}}
try await distributed.distHelloAsyncThrows() // ok
// special: the actorAddress may always be referred to
_ = distributed.id // ok
_ = distributed.actorSystem // ok
}
|
