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
|
// RUN: %target-typecheck-verify-swift -debug-generic-signatures 2>&1 | %FileCheck %s
// CHECK: 68084643.(file).R@
// CHECK-NEXT: Requirement signature: <Self where Self.[R]RT : F>
protocol R {
associatedtype RT: F
}
// CHECK: 68084643.(file).F@
// CHECK-NEXT: Requirement signature: <Self where Self == Self.[F]OT.[R]RT, Self.[F]OT : R>
protocol F {
associatedtype OT: R where OT.RT == Self
}
// CHECK: 68084643.(file).P@
// CHECK-NEXT: Requirement signature: <Self>
protocol P {
associatedtype PT
}
// CHECK: 68084643.(file).O@
// CHECK-NEXT: Requirement signature: <Self where Self.[O]O : P>
protocol O {
associatedtype O: P
}
// CHECK: 68084643.(file).B@
// CHECK-NEXT: Requirement signature: <Self where Self.[B]LO : O, Self.[B]OT == Self.[B]LO.[O]O, Self.[B]RT : F, Self.[B]OT.[P]PT == Self.[B]RT.[F]OT>
protocol B {
associatedtype RT: F
associatedtype LO: O where LO.O == OT
associatedtype OT where OT.PT == RT.OT
}
// CHECK: 68084643.(file).Boom@
// CHECK-NEXT: Requirement signature: <Self where Self.[Boom]D : B, Self.[Boom]E : Sequence, Self.[Boom]F : Sequence, Self.[Boom]E.[Sequence]Element == Self.[Boom]F.[Sequence]Element>
protocol Boom {
associatedtype D: B
associatedtype E: Sequence
associatedtype F: Sequence where E.Element == F.Element
}
|
