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
|
// RUN: %target-typecheck-verify-swift -debug-generic-signatures 2>&1 | %FileCheck %s
// CHECK: 78643612.(file).Z1@
// CHECK-NEXT: Requirement signature: <Self where Self == Self.[Z1]T>
protocol Z1 {
associatedtype T where T == Self
}
// CHECK: 78643612.(file).Z2@
// CHECK-NEXT: Requirement signature: <Self where Self == Self.[Z2]T.[Z2]T, Self.[Z2]T : Z2>
protocol Z2 {
associatedtype T : Z2 where T.T == Self
}
// CHECK: 78643612.(file).Z3@
// CHECK-NEXT: Requirement signature: <Self where Self == Self.[Z3]T.[Z3]T.[Z3]T, Self.[Z3]T : Z3>
protocol Z3 {
associatedtype T : Z3 where T.T.T == Self
}
// CHECK: 78643612.(file).Z4@
// CHECK-NEXT: Requirement signature: <Self where Self == Self.[Z4]T.[Z4]T.[Z4]T.[Z4]T, Self.[Z4]T : Z4>
protocol Z4 {
associatedtype T : Z4 where T.T.T.T == Self
}
// CHECK: 78643612.(file).Z5@
// CHECK-NEXT: Requirement signature: <Self where Self == Self.[Z5]T.[Z5]T.[Z5]T.[Z5]T.[Z5]T, Self.[Z5]T : Z5>
protocol Z5 {
associatedtype T : Z5 where T.T.T.T.T == Self
}
// CHECK: 78643612.(file).Z6@
// CHECK-NEXT: Requirement signature: <Self where Self == Self.[Z6]T.[Z6]T.[Z6]T.[Z6]T.[Z6]T.[Z6]T, Self.[Z6]T : Z6>
protocol Z6 {
associatedtype T : Z6 where T.T.T.T.T.T == Self
}
|
