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
|
// 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
typealias DefaultDistributedActorSystem = FakeActorSystem
protocol Greeting: DistributedActor {
distributed func greeting() -> String
}
extension Greeting {
func greetLocal(name: String) { // expected-note{{distributed actor-isolated instance method 'greetLocal(name:)' declared here}}
print("\(greeting()), \(name)!") // okay, we're on the actor
}
}
extension Greeting where SerializationRequirement == Codable {
// okay, uses Codable to transfer arguments.
distributed func greetDistributed(name: String) {
// okay, we're on the actor
greetLocal(name: name)
}
}
extension Greeting where Self.SerializationRequirement == Codable {
nonisolated func greetAliceALot() async throws {
try await self.greetDistributed(name: "Alice") // okay, via Codable
let rawGreeting = try await greeting() // okay, via Self's serialization requirement
_ = rawGreeting
greetLocal(name: "Alice") // expected-error{{only 'distributed' instance methods can be called on a potentially remote distributed actor}}
}
}
|
