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
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-emit-module-interface(%t/MyModule.swiftinterface) %s -module-name MyModule
// RUN: %target-swift-typecheck-module-from-interface(%t/MyModule.swiftinterface) -module-name MyModule
// RUN: %FileCheck %s < %t/MyModule.swiftinterface
// CHECK: public struct Type {
// CHECK-NEXT: }
public struct Type {}
// CHECK: public protocol Protocol {
// CHECK-NEXT: }
public protocol Protocol {}
// CHECK: public func usesType(_ x: MyModule.`Type`)
public func usesType(_ x: Type) {}
// CHECK: public func genericProtocol<T>(_ x: T) where T : MyModule.`Protocol`
public func genericProtocol<T: Protocol>(_ x: T) {}
// CHECK: public func existentialProtocol(_ x: any MyModule.`Protocol`)
public func existentialProtocol(_ x: Protocol) {}
// CHECK: public struct Parent {
public struct Parent {
// CHECK: public struct `Type` {
public struct `Type` {
// CHECK: public struct `Protocol` {
// CHECK-NEXT: }
public struct `Protocol` {}
// CHECK-NEXT: }
}
// CHECK: public struct `Protocol` {
// CHECK-NEXT: }
public struct `Protocol` {}
// CHECK-NEXT: }
}
// CHECK: public func usesNestedType(_ x: MyModule.Parent.`Type`)
public func usesNestedType(_ x: Parent.`Type`) {}
// CHECK: public func usesNestedTypeProtocol(_ x: MyModule.Parent.`Type`.`Protocol`)
public func usesNestedTypeProtocol(_ x: Parent.`Type`.`Protocol`) {}
// CHECK: public func usesNestedProtocol(_ x: MyModule.Parent.`Protocol`)
public func usesNestedProtocol(_ x: Parent.`Protocol`) {}
|
