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
|
// RUN: %target-typecheck-verify-swift -swift-version 4
private struct PrivateStruct {} // expected-note 6{{type declared here}}
internal struct InternalStruct {} // expected-note 2{{type declared here}}
public struct PublicStruct {}
public protocol BaseProtocol {
associatedtype T
}
public protocol PublicProtocol1 : BaseProtocol where T == PrivateStruct {
// expected-warning@-1 {{public protocol's 'where' clause should not use a private struct}}
associatedtype X : BaseProtocol where X.T == PrivateStruct
// expected-warning@-1 {{associated type in a public protocol uses a private type in its requirement}}
}
public protocol PublicProtocol2 : BaseProtocol where T == InternalStruct {
// expected-warning@-1 {{public protocol's 'where' clause should not use an internal struct}}
associatedtype X : BaseProtocol where X.T == InternalStruct
// expected-warning@-1 {{associated type in a public protocol uses an internal type in its requirement}}
}
public protocol PublicProtocol3 : BaseProtocol where T == PublicStruct {
associatedtype X : BaseProtocol where X.T == PublicStruct
}
internal protocol InternalProtocol1 : BaseProtocol where T == PrivateStruct {
// expected-warning@-1 {{internal protocol's 'where' clause should not use a private struct}}
associatedtype X : BaseProtocol where X.T == PrivateStruct
// expected-warning@-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 == PublicStruct {
associatedtype X : BaseProtocol where X.T == PublicStruct
}
protocol Protocol1 : BaseProtocol where T == PrivateStruct {
// expected-warning@-1 {{protocol should be declared fileprivate because its 'where' clause uses a private struct}}
associatedtype X : BaseProtocol where X.T == PrivateStruct
// expected-warning@-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
}
|
