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
|
// RUN: %target-typecheck-verify-swift -swift-version 5
// REQUIRES: concurrency
@available(SwiftStdlib 5.1, *)
@globalActor
private struct PrivateGA { // expected-note 2 {{type declared here}}
actor Actor {}
static let shared = Actor()
}
@available(SwiftStdlib 5.1, *)
@globalActor
internal struct InternalGA { // expected-note {{type declared here}}
actor Actor {}
static let shared = Actor()
}
@available(SwiftStdlib 5.1, *)
@globalActor
@usableFromInline
internal struct UFIGA {
@usableFromInline actor Actor {}
@usableFromInline static let shared = Actor()
}
@available(SwiftStdlib 5.1, *)
@globalActor
public struct PublicGA {
public actor Actor {}
public static let shared = Actor()
}
// expected-error@+2 {{internal struct 'UFIStructPrivateGA' cannot have private global actor 'PrivateGA'}}
@available(SwiftStdlib 5.1, *)
@PrivateGA @usableFromInline internal struct UFIStructPrivateGA {} // expected-error {{global actor for struct 'UFIStructPrivateGA' must be '@usableFromInline' or public}}
@available(SwiftStdlib 5.1, *)
@InternalGA @usableFromInline internal struct UFIStructInternalGA {} // expected-error {{global actor for struct 'UFIStructInternalGA' must be '@usableFromInline' or public}}
@available(SwiftStdlib 5.1, *)
@UFIGA @usableFromInline internal struct UFIStructUFIGA {}
@available(SwiftStdlib 5.1, *)
@PublicGA @usableFromInline internal struct UFIStructPublicGA {}
@available(SwiftStdlib 5.1, *)
@inlinable public func testNestedFuncs() {
// FIXME: Functions isolated to non-resilient global actors nested in
// inlinable functions should be diagnosed.
@PrivateGA func inlineFuncPrivateGA() {}
@InternalGA func inlineFuncInternalGA() {}
@UFIGA func inlineFuncUFIGA() {}
@PublicGA func inlineFuncPublicGA() {}
}
@available(SwiftStdlib 5.1, *)
@inlinable public func testNestedClosures() {
// FIXME: Closures isolated to non-resilient global actors nested in
// inlinable functions should be diagnosed.
_ = { @PrivateGA in }
_ = { @InternalGA in }
_ = { @UFIGA in }
_ = { @PublicGA in }
}
|
