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
|
// RUN: %target-typecheck-verify-swift
// RUN: %target-swift-frontend -typecheck %s -debug-generic-signatures 2>&1 | %FileCheck %s
protocol P {
associatedtype T
}
struct S : P {
typealias T = S
}
// CHECK-LABEL: concrete_conformances_in_protocol.(file).R0@
// CHECK-LABEL: Requirement signature: <Self where Self.[R0]A == S>
protocol R0 {
associatedtype A where A : P, A == S
}
////
struct G<T> : P {}
// CHECK-LABEL: concrete_conformances_in_protocol.(file).R1@
// CHECK-LABEL: Requirement signature: <Self where Self.[R1]B == G<Self.[R1]A>>
protocol R1 {
associatedtype A
associatedtype B where B : P, B == G<A>
}
// CHECK-LABEL: concrete_conformances_in_protocol.(file).R2@
// CHECK-LABEL: Requirement signature: <Self where Self.[R2]A == G<Self.[R2]B>>
protocol R2 {
associatedtype A where A : P, A == G<B>
associatedtype B
}
////
protocol PP {
associatedtype T : P
}
struct GG<T : P> : PP {}
// CHECK-LABEL: concrete_conformances_in_protocol.(file).RR3@
// CHECK-LABEL: Requirement signature: <Self where Self.[RR3]A : P, Self.[RR3]B == GG<Self.[RR3]A>>
protocol RR3 {
associatedtype A : P
associatedtype B where B : PP, B == GG<A>
}
// CHECK-LABEL: concrete_conformances_in_protocol.(file).RR4@
// CHECK-LABEL: Requirement signature: <Self where Self.[RR4]A == GG<Self.[RR4]B>, Self.[RR4]B : P>
protocol RR4 {
associatedtype A where A : PP, A == GG<B>
associatedtype B : P
}
// CHECK-LABEL: concrete_conformances_in_protocol.(file).RR5@
// CHECK-LABEL: Requirement signature: <Self where Self.[RR5]A : PP, Self.[RR5]B == GG<Self.[RR5]A.[PP]T>>
protocol RR5 {
associatedtype A : PP
associatedtype B where B : PP, B == GG<A.T>
}
// CHECK-LABEL: concrete_conformances_in_protocol.(file).RR6@
// CHECK-LABEL: Requirement signature: <Self where Self.[RR6]A == GG<Self.[RR6]B.[PP]T>, Self.[RR6]B : PP>
protocol RR6 {
associatedtype A where A : PP, A == GG<B.T>
associatedtype B : PP
}
protocol P1 {
associatedtype T : P1
}
struct GGG<U : P1> : P1 {
typealias T = GGG<GGG<U>>
}
// CHECK-LABEL: concrete_conformances_in_protocol.(file).P2@
// CHECK-LABEL: Requirement signature: <Self where Self.[P2]T == GGG<Self.[P2]U>, Self.[P2]U : P1>
protocol P2 {
associatedtype T : P1 where T == GGG<U>
associatedtype U : P1
}
|
