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
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend-emit-module -emit-module-path %t/FakeDistributedActorSystems.swiftmodule -module-name FakeDistributedActorSystems -target %target-swift-5.7-abi-triple %S/Inputs/FakeDistributedActorSystems.swift
// RUN: %target-swift-frontend -typecheck -verify -enable-experimental-distributed -target %target-swift-5.7-abi-triple -I %t 2>&1 %s
// REQUIRES: concurrency
// REQUIRES: distributed
import Distributed
import FakeDistributedActorSystems
typealias DefaultDistributedActorSystem = FakeActorSystem
distributed actor DA {
}
func take<A: Codable>(actor: A) {}
func test(actorSystem: FakeActorSystem) {
take(actor: DA(actorSystem: actorSystem)) // ok
}
func takeCodable<A: Codable>(actor: A) {}
func test_DA(actorSystem: FakeActorSystem) {
takeCodable(actor: DA(actorSystem: actorSystem)) // ok
}
// ==== Generic actors
distributed actor DAG<ActorSystem>
where ActorSystem: DistributedActorSystem<any Codable> {
}
func test_DAG(actorSystem: FakeActorSystem) {
takeCodable(actor: DAG<FakeActorSystem>(actorSystem: actorSystem)) // ok
}
distributed actor DAG_ID<ActorSystem>
where ActorSystem: DistributedActorSystem<any Codable>,
ID: Codable { // expected-error{{cannot find type 'ID' in scope}}
}
func test_DAG_ID(actorSystem: FakeActorSystem) {
takeCodable(actor: DAG_ID<FakeActorSystem>(actorSystem: actorSystem)) // ok
}
distributed actor DAG_ActorSystem_ActorID<ActorSystem>
where ActorSystem: DistributedActorSystem<any Codable>,
ActorSystem.ActorID: Codable {
}
func test_DAG_ActorSystem_ActorID(actorSystem: FakeActorSystem) {
takeCodable(actor: DAG_ActorSystem_ActorID<FakeActorSystem>(actorSystem: actorSystem)) // ok
}
// ==== Not codable cases
protocol SerializableButNotCodable {}
distributed actor DAG_ActorSystem_ActorID_Custom<ActorSystem>
where ActorSystem: DistributedActorSystem<any SerializableButNotCodable> {
// expected-note@-2{{requirement specified as 'ActorSystem.SerializationRequirement' == 'any SerializableButNotCodable'}}
}
func test_DAG_ActorSystem_ActorID_Custom(actorSystem: FakeActorSystem) {
takeCodable(actor: DAG_ActorSystem_ActorID_Custom<FakeActorSystem>(actorSystem: actorSystem))
// expected-error@-1{{'DAG_ActorSystem_ActorID_Custom' requires the types 'any FakeActorSystem.SerializationRequirement' (aka 'any Decodable & Encodable') and 'any SerializableButNotCodable' be equivalent}}
}
|
