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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
|
// RUN: %target-typecheck-verify-swift -swift-version 5 -package-name myPkg
private struct PrivateStruct {} // expected-note 10{{type declared here}}
internal struct InternalStruct {} // expected-note 4{{type declared here}}
package struct PackageStruct {} // expected-note *{{type declared here}}
public struct PublicStruct {}
private class PrivateClass {} // expected-note 4{{type declared here}}
public protocol BaseProtocol {
associatedtype T
}
public protocol BaseProtocol2 {}
private typealias PrivateTypeAlias = BaseProtocol2 // expected-note 2{{type declared here}}
public protocol PublicProtocol1 : BaseProtocol where T == PrivateStruct {
// expected-error@-1 {{public protocol's 'where' clause cannot use a private struct}}
associatedtype X : BaseProtocol where X.T == PrivateStruct
// expected-error@-1 {{associated type in a public protocol uses a private type in its requirement}}
}
public protocol PublicProtocol2 : BaseProtocol where T == InternalStruct {
// expected-error@-1 {{public protocol's 'where' clause cannot use an internal struct}}
associatedtype X : BaseProtocol where X.T == InternalStruct
// expected-error@-1 {{associated type in a public protocol uses an internal type in its requirement}}
}
public protocol PublicProtocol3 : BaseProtocol where T == PackageStruct {
// expected-error@-1 {{public protocol's 'where' clause cannot use a package struct}}
associatedtype X : BaseProtocol where X.T == PackageStruct
// expected-error@-1 {{associated type in a public protocol uses a package type in its requirement}}
}
public protocol PublicProtocol4 : BaseProtocol where T == PublicStruct {
associatedtype X : BaseProtocol where X.T == PublicStruct
}
package protocol PackageProtocol1 : BaseProtocol where T == PrivateStruct {
// expected-error@-1 {{package protocol's 'where' clause cannot use a private struct}}
associatedtype X : BaseProtocol where X.T == PrivateStruct
// expected-error@-1 {{associated type in a package protocol uses a private type in its requirement}}
}
package protocol PackageProtocol2 : BaseProtocol where T == InternalStruct {
// expected-error@-1 {{package protocol's 'where' clause cannot use an internal struct}}
associatedtype X : BaseProtocol where X.T == InternalStruct
// expected-error@-1 {{associated type in a package protocol uses an internal type in its requirement}}
}
package protocol PackageProtocol3 : BaseProtocol where T == PackageStruct {
associatedtype X : BaseProtocol where X.T == PackageStruct
}
package protocol PackageProtocol4 : BaseProtocol where T == PublicStruct {
associatedtype X : BaseProtocol where X.T == PublicStruct
}
internal protocol InternalProtocol1 : BaseProtocol where T == PrivateStruct {
// expected-error@-1 {{internal protocol's 'where' clause cannot use a private struct}}
associatedtype X : BaseProtocol where X.T == PrivateStruct
// expected-error@-1 {{associated type in an internal protocol uses a private type in its requirement}}
}
internal protocol InternalProtocol2 : BaseProtocol where T == InternalStruct {
associatedtype X : BaseProtocol where X.T == InternalStruct
}
internal protocol InternalProtocol3 : BaseProtocol where T == PackageStruct {
associatedtype X : BaseProtocol where X.T == PackageStruct
}
internal protocol InternalProtocol4 : BaseProtocol where T == PublicStruct {
associatedtype X : BaseProtocol where X.T == PublicStruct
}
protocol Protocol1 : BaseProtocol where T == PrivateStruct {
// expected-error@-1 {{protocol must be declared private or fileprivate because its 'where' clause uses a private struct}}
associatedtype X : BaseProtocol where X.T == PrivateStruct
// expected-error@-1 {{associated type in an internal protocol uses a private type in its requirement}}
}
protocol Protocol2 : BaseProtocol where T == InternalStruct {
associatedtype X : BaseProtocol where X.T == InternalStruct
}
protocol Protocol3 : BaseProtocol where T == PublicStruct {
associatedtype X : BaseProtocol where X.T == PublicStruct
}
protocol Protocol4 : BaseProtocol where T == PrivateClass {
// expected-error@-1 {{protocol must be declared private or fileprivate because its 'where' clause uses a private class}}
associatedtype X : BaseProtocol where X.T == PrivateClass
// expected-error@-1 {{associated type in an internal protocol uses a private type in its requirement}}
}
protocol Protocol5 : BaseProtocol where T == PrivateTypeAlias {
// expected-error@-1 {{protocol must be declared private or fileprivate because its 'where' clause uses a private type alias}}
associatedtype X : BaseProtocol where X.T == PrivateTypeAlias
// expected-error@-1 {{associated type in an internal protocol uses a private type in its requirement}}
}
protocol Protocol6 : BaseProtocol where T == (PrivateClass, AnyObject) {
// expected-error@-1 {{protocol must be declared private or fileprivate because its 'where' clause uses a private type}}
associatedtype X : BaseProtocol where X.T == (PrivateClass, AnyObject)
// expected-error@-1 {{associated type in an internal protocol uses a private type in its requirement}}
}
protocol Protocol7 : BaseProtocol where T == (PrivateStruct) -> Void {
// expected-error@-1 {{protocol must be declared private or fileprivate because its 'where' clause uses a private type}}
associatedtype X : BaseProtocol where X.T == (PrivateStruct) -> Void
// expected-error@-1 {{associated type in an internal protocol uses a private type in its requirement}}
}
private protocol PrivateProtocol {} // expected-note 4{{type declared here}}
struct GenericStruct<T> {
struct Inner where T : PrivateProtocol {}
// expected-error@-1 {{struct must be declared private because its generic requirement uses a private type}}
func nonGenericWhereClause() where T : PrivateProtocol {}
// expected-error@-1 {{instance method must be declared private because its generic requirement uses a private type}}
}
package struct PkgGenericStruct<T> {
package struct Inner where T : PrivateProtocol {}
// expected-error@-1 {{struct cannot be declared package because its generic requirement uses a private type}}
package func nonGenericWhereClause() where T : PrivateProtocol {}
// expected-error@-1 {{instance method cannot be declared package because its generic requirement uses a private type}}
}
|
