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
|
// RUN: %target-typecheck-verify-swift -swift-version 4 -package-name myPkg
fileprivate struct FilePrivateStruct {}
// expected-note@-1 4{{type declared here}}
private struct PrivateStruct {}
// expected-note@-1 4{{type declared here}}
internal struct InternalStruct {}
// expected-note@-1 7{{type declared here}}
package struct PackageStruct {}
// expected-note@-1 *{{type declared here}}
public protocol P {
typealias TFP = FilePrivateStruct
// expected-error@-1 {{type alias cannot be declared public because its underlying type uses a fileprivate type}}
typealias TP = PrivateStruct
// expected-error@-1 {{type alias cannot be declared public because its underlying type uses a private type}}
typealias TI = InternalStruct
// expected-error@-1 {{type alias cannot be declared public because its underlying type uses an internal type}}
typealias TPkg = PackageStruct
// expected-error@-1 {{type alias cannot be declared public because its underlying type uses a package type}}
}
extension P {
func usesFilePrivateStructFunc(_: FilePrivateStruct) {}
// expected-error@-1 {{method must be declared fileprivate because its parameter uses a fileprivate type}}
typealias UsesFilePrivateStructAlias = FilePrivateStruct
// expected-error@-1 {{type alias must be declared fileprivate because its underlying type uses a fileprivate type}}
var usesFilePrivateStructProp: FilePrivateStruct { get { } set { } }
// expected-error@-1 {{property must be declared fileprivate because its type uses a fileprivate type}}
func usesPrivateStructFunc(_: PrivateStruct) {}
// expected-error@-1 {{method must be declared fileprivate because its parameter uses a private type}}
typealias UsesPrivateStructAlias = PrivateStruct
// expected-error@-1 {{type alias must be declared fileprivate because its underlying type uses a private type}}
var usesPrivateStructProp: PrivateStruct { get { } set { } }
// expected-error@-1 {{property must be declared fileprivate because its type uses a private type}}
public func usesInternalStruct(_: InternalStruct) {}
// expected-error@-1 {{method cannot be declared public because its parameter uses an internal type}}
public typealias UsesInternalStructAlias = InternalStruct
// expected-error@-1 {{type alias cannot be declared public because its underlying type uses an internal type}}
public var usesInternalStructProp: InternalStruct { get { } set { } }
// expected-error@-1 {{property cannot be declared public because its type uses an internal type}}
package func pkgUsesInternalStruct(_: InternalStruct) {}
// expected-error@-1 {{method cannot be declared package because its parameter uses an internal type}}
package typealias PkgUsesInternalStructAlias = InternalStruct
// expected-error@-1 {{type alias cannot be declared package because its underlying type uses an internal type}}
package var pkgUsesInternalStructProp: InternalStruct { get { } set { } }
// expected-error@-1 {{property cannot be declared package because its type uses an internal type}}
public func usesPackageStruct(_: PackageStruct) {}
// expected-error@-1 {{method cannot be declared public because its parameter uses a package type}}
public typealias UsesPackageStructAlias = PackageStruct
// expected-error@-1 {{type alias cannot be declared public because its underlying type uses a package type}}
public var usesPackageStructProp: PackageStruct { get { } set { } }
// expected-error@-1 {{property cannot be declared public because its type uses a package type}}
}
|
