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
|
// Recover from missing types hidden behind an importation-only when indexing
// a system module.
// rdar://problem/52837313
// RUN: %empty-directory(%t)
//// Build the private module, the public module and the client app normally.
//// Force the public module to be system with an underlying Clang module.
// RUN: %target-swift-frontend -emit-module -DPRIVATE_LIB %s -module-name private_lib -emit-module-path %t/private_lib.swiftmodule
// RUN: %target-swift-frontend -emit-module -DPUBLIC_LIB %s -module-name public_lib -emit-module-path %t/public_lib.swiftmodule -I %t -I %S/Inputs/implementation-only-missing -import-underlying-module
//// The client app should build OK without the private module. Removing the
//// private module is superfluous but makes sure that it's not somehow loaded.
// RUN: rm %t/private_lib.swiftmodule
// RUN: %target-swift-frontend -typecheck -DCLIENT_APP %s -I %t -index-system-modules -index-store-path %t
// RUN: %target-swift-frontend -typecheck -DCLIENT_APP %s -I %t -D FAIL_TYPECHECK -verify
// RUN: %target-swift-frontend -emit-sil -DCLIENT_APP %s -I %t -module-name client
//// Printing the public module should not crash when checking for overrides of
//// methods from the private module.
// RUN: %target-swift-ide-test -print-module -module-to-print=public_lib -source-filename=x -skip-overrides -I %t
#if PRIVATE_LIB
@propertyWrapper
public struct IoiPropertyWrapper<V> {
var content: V
public init(_ v: V) {
content = v
}
public var wrappedValue: V {
return content
}
}
public struct HiddenGenStruct<A: HiddenProtocol> {
public init() {}
}
public protocol HiddenProtocol {
associatedtype Value
}
public protocol HiddenProtocol2 {}
public protocol HiddenProtocolWithOverride {
func hiddenOverride()
}
public class HiddenClass {}
#elseif PUBLIC_LIB
@_implementationOnly import private_lib
struct LibProtocolConstraint { }
protocol LibProtocolTABound { }
struct LibProtocolTA: LibProtocolTABound { }
protocol LibProtocol {
associatedtype TA: LibProtocolTABound = LibProtocolTA
func hiddenRequirement<A>(
param: HiddenGenStruct<A>
) where A.Value == LibProtocolConstraint
}
extension LibProtocol where TA == LibProtocolTA {
func hiddenRequirement<A>(
param: HiddenGenStruct<A>
) where A.Value == LibProtocolConstraint { }
}
public struct PublicStruct: LibProtocol {
typealias TA = LibProtocolTA
public init() { }
public var nonWrappedVar: String = "some text"
@IoiPropertyWrapper("some text")
private var wrappedVar: String
}
struct StructWithOverride: HiddenProtocolWithOverride {
func hiddenOverride() {}
}
internal protocol RefinesHiddenProtocol: HiddenProtocol {
}
public struct PublicStructConformsToHiddenProtocol: RefinesHiddenProtocol {
public typealias Value = Int
public init() { }
}
public class SomeClass {
func funcUsingIoiType(_ a: HiddenClass) {}
}
// Check that we recover from a reference to an implementation-only
// imported type in a protocol composition. rdar://78631465
protocol CompositionMemberInheriting : HiddenProtocol2 {}
protocol CompositionMemberSimple {}
protocol InheritingFromComposition : CompositionMemberInheriting & CompositionMemberSimple {}
struct StructInheritingFromComposition : CompositionMemberInheriting & CompositionMemberSimple {}
class ClassInheritingFromComposition : CompositionMemberInheriting & CompositionMemberSimple {}
protocol InheritingFromCompositionDirect : CompositionMemberSimple & HiddenProtocol2 {}
#elseif CLIENT_APP
import public_lib
var s = PublicStruct()
print(s.nonWrappedVar)
var p = PublicStructConformsToHiddenProtocol()
print(p)
#if FAIL_TYPECHECK
// Access to a missing member on an AnyObject triggers a typo correction
// that looks at *all* class members. rdar://79427805
class ClassUnrelatedToSomeClass {}
var something = ClassUnrelatedToSomeClass() as AnyObject
something.triggerTypoCorrection = 123 // expected-error {{value of type 'AnyObject' has no member 'triggerTypoCorrection'}}
#endif
#endif
|
