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
|
// RUN: %target-swift-frontend -typecheck %s -debug-generic-signatures 2>&1 | %FileCheck %s
// CHECK-LABEL: redundant_parent_path_in_protocol.(file).P1@
// CHECK-NEXT: Requirement signature: <Self>
protocol P1 {}
// CHECK-LABEL: redundant_parent_path_in_protocol.(file).P2@
// CHECK-NEXT: Requirement signature: <Self where Self.[P2]A : P1, Self.[P2]B : P2>
protocol P2 {
associatedtype A: P1
associatedtype B: P2
}
struct Concrete: P1, P2 {
typealias A = Concrete
typealias B = Concrete
}
// CHECK-LABEL: redundant_parent_path_in_protocol.(file).P3a@
// CHECK-NEXT: Requirement signature: <Self where Self.[P3a]T : P2>
protocol P3a {
associatedtype T : P2
}
// CHECK-LABEL: redundant_parent_path_in_protocol.(file).P3b@
// CHECK-NEXT: Requirement signature: <Self where Self.[P3b]T : P2, Self.[P3b]T.[P2]A == Self.[P3b]T.[P2]B>
protocol P3b {
associatedtype T : P2 where T.A == T.B
}
// CHECK-LABEL: redundant_parent_path_in_protocol.(file).P4a@
// CHECK-NEXT: Requirement signature: <Self where Self : P3a, Self.[P3a]T == Concrete>
protocol P4a : P3a where T.A == T.B, T == Concrete {}
// CHECK-LABEL: redundant_parent_path_in_protocol.(file).P4b@
// CHECK-NEXT: Requirement signature: <Self where Self : P3b, Self.[P3b]T == Concrete>
protocol P4b : P3b where T == Concrete {}
// CHECK-LABEL: redundant_parent_path_in_protocol.(file).P5@
// CHECK-NEXT: Requirement signature: <Self where Self.[P5]T == Concrete>
protocol P5 {
associatedtype T : P2 where T.A == T.B, T == Concrete
}
|
