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
|
// RUN: %empty-directory(%t/src)
// RUN: split-file %s %t/src
/// Build the library A
// RUN: %target-swift-frontend -emit-module %t/src/A.swift \
// RUN: -module-name A -swift-version 5 -enable-library-evolution \
// RUN: -emit-module-path %t/A.swiftmodule \
// RUN: -emit-module-interface-path %t/A.swiftinterface
// Build the client and check the interface
// RUN: %target-swift-frontend -emit-module %t/src/Client.swift \
// RUN: -module-name Client -I %t -swift-version 5 -enable-library-evolution \
// RUN: -emit-module-path %t/Client.swiftmodule \
// RUN: -emit-module-interface-path %t/Client.swiftinterface \
// RUN: -enable-upcoming-feature DynamicActorIsolation \
// RUN: -disable-availability-checking \
// RUN: -verify
// RUN: %FileCheck %s < %t/Client.swiftinterface
// RUN: %target-swift-emit-module-interface(%t/Client.swiftinterface) -I %t %t/src/Client.swift -module-name Client \
// RUN: -disable-availability-checking -enable-upcoming-feature DynamicActorIsolation -verify
// RUN: %target-swift-typecheck-module-from-interface(%t/Client.swiftinterface) -I %t -module-name Client \
// RUN: -disable-availability-checking -enable-upcoming-feature DynamicActorIsolation -verify
// REQUIRES: asserts
// REQUIRES: concurrency
//--- A.swift
public protocol P {
func test() -> Int
}
public protocol Q {
var x: Int { get }
}
public protocol WithAssoc {
associatedtype T
func test() -> T
}
//--- Client.swift
import A
// CHECK-NOT: #if {{.*}} $DynamicActorIsolation
// CHECK: @_Concurrency.MainActor public struct GlobalActorTest : @preconcurrency A.P
@MainActor
public struct GlobalActorTest : @preconcurrency P {
public func test() -> Int { 0 }
}
@MainActor
public class ExtTest {
}
// CHECK-NOT: #if {{.*}} $DynamicActorIsolation
// CHECK: extension Client.ExtTest : @preconcurrency A.P
extension ExtTest : @preconcurrency P {
public func test() -> Int { 1 }
}
// CHECK-NOT: #if {{.*}} && $DynamicActorIsolation
// CHECK: public actor ActorTest : @preconcurrency A.P
public actor ActorTest : @preconcurrency P {
public func test() -> Int { 2 }
}
public actor ActorExtTest {
}
// CHECK-NOT: #if {{.*}} $DynamicActorIsolation
// CHECK: extension Client.ActorExtTest : @preconcurrency A.Q
extension ActorExtTest : @preconcurrency Q {
public var x: Int { 42 }
}
public struct TestConditional<T> {}
// CHECK-NOT: #if {{.*}} $DynamicActorIsolation
// CHECK: extension Client.TestConditional : @preconcurrency A.WithAssoc where T == Swift.Int {
// CHECK-NEXT: @_Concurrency.MainActor public func test() -> T
// CHECK-NEXT: }
extension TestConditional : @preconcurrency WithAssoc where T == Int {
@MainActor public func test() -> T { 42 } // Ok
}
// CHECK-NOT: #if {{.*}} $DynamicActorIsolation
// CHECK: extension Client.GlobalActorTest : Swift.Sendable {}
|
