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
|
// RUN: %target-swift-remoteast-test %s | %FileCheck %s
// REQUIRES: swift-remoteast-test
@_silgen_name("printMetadataType")
func printType(_: Any.Type)
@_silgen_name("stopRemoteAST")
func stopRemoteAST()
extension Int {
struct Inner { }
}
// CHECK: Int.Inner
printType(Int.Inner.self)
extension Int.Inner {
struct MoreInner { }
}
// CHECK: Int.Inner.MoreInner
printType(Int.Inner.MoreInner.self)
protocol P {
associatedtype Assoc
}
struct A<T: P, U: P> { }
extension Int: P {
typealias Assoc = Double
}
extension String: P {
typealias Assoc = Double
}
extension A where T.Assoc == U.Assoc {
struct ViaSameType { }
}
// CHECK: A<Int, String>.ViaSameType
printType(A<Int, String>.ViaSameType.self)
protocol Q { }
extension Int: Q { }
extension A where T: Q {
struct ViaProtocolConformance { }
}
// CHECK: A<Int, String>.ViaProtocolConformance
printType(A<Int, String>.ViaProtocolConformance.self)
class B { }
class C: B { }
extension B: P {
typealias Assoc = Int
}
extension A where U: B {
struct ViaBaseClass { }
}
// CHECK: A<Int, B>.ViaBaseClass
printType(A<Int, B>.ViaBaseClass.self)
// CHECK: A<Int, C>.ViaBaseClass
printType(A<Int, C>.ViaBaseClass.self)
extension A where T: AnyObject {
struct ViaAnyObject {
func wobble() {}
}
}
// CHECK: A<C, Int>.ViaAnyObject
printType(A<C, Int>.ViaAnyObject.self)
stopRemoteAST()
|
