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
|
// RUN: %target-swift-frontend -typecheck -debug-generic-signatures %s 2>&1 | %FileCheck %s
protocol P {
associatedtype T
}
protocol Base {
associatedtype A
associatedtype B
associatedtype C
associatedtype D : P where B == D.T
}
// CHECK-LABEL: connected_components_concrete.(file).Derived1@
// CHECK-LABEL: Requirement signature: <Self where Self : Base, Self.[Base]A == Int, Self.[Base]B == Int, Self.[Base]C == Int>
protocol Derived1 : Base where A == B, A == C, A == Int {}
// CHECK-LABEL: connected_components_concrete.(file).Derived2@
// CHECK-LABEL: Requirement signature: <Self where Self : Base, Self.[Base]A == Int, Self.[Base]B == Int, Self.[Base]C == Int>
protocol Derived2 : Base where A == D.T, A == C, B == Int {}
// CHECK-LABEL: connected_components_concrete.(file).Derived3@
// CHECK-LABEL: Requirement signature: <Self where Self : Base, Self.[Base]A == Int, Self.[Base]B == Int, Self.[Base]C == Int>
protocol Derived3 : Base where A == B, B == C, A == Int {}
// CHECK-LABEL: connected_components_concrete.(file).Derived4@
// CHECK-LABEL: Requirement signature: <Self where Self : Base, Self.[Base]A == Int, Self.[Base]B == Int, Self.[Base]C == Int>
protocol Derived4 : Base where A == Int, B == Int, C == Int {}
// CHECK-LABEL: connected_components_concrete.(file).Derived5@
// CHECK-LABEL: Requirement signature: <Self where Self : Base, Self.[Base]A == Int, Self.[Base]B == Int, Self.[Base]C == Int>
protocol Derived5 : Base where A == Int, D.T == Int, C == Int {}
|
