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
|
// RUN: %target-swift-frontend -typecheck %s -debug-generic-signatures 2>&1 | %FileCheck %s
// The Requirement Machine works with canonical types internally, so make sure
// we reconstitute sugar in trivial cases before surfacing the generic
// signature to the user.
struct G<X, Y, Z> {}
// CHECK-LABEL: ExtensionDecl line={{.*}} base=G
// CHECK-NEXT: Generic signature: <X, Y, Z where X == Y?>
extension G where X == Optional<Y> {}
// CHECK-LABEL: ExtensionDecl line={{.*}} base=G
// CHECK-NEXT: Generic signature: <X, Y, Z where X == [Y]>
extension G where X == Array<Y> {}
// CHECK-LABEL: ExtensionDecl line={{.*}} base=G
// CHECK-NEXT: Generic signature: <X, Y, Z where X == [Y : Z], Y : Hashable>
extension G where X == Dictionary<Y, Z> {}
// We don't do () => Swift.Void.
// CHECK-LABEL: ExtensionDecl line={{.*}} base=G
// CHECK-NEXT: Generic signature: <X, Y, Z where X == ()>
extension G where X == () {}
// Now make sure we do the same for superclass requirements.
class C<T> {}
// CHECK-LABEL: ExtensionDecl line={{.*}} base=G
// CHECK-NEXT: Generic signature: <X, Y, Z where X : C<Y?>>
extension G where X : C<Optional<Y>> {}
// CHECK-LABEL: ExtensionDecl line={{.*}} base=G
// CHECK-NEXT: Generic signature: <X, Y, Z where X : C<[Y]>>
extension G where X : C<Array<Y>> {}
// CHECK-LABEL: ExtensionDecl line={{.*}} base=G
// CHECK-NEXT: Generic signature: <X, Y, Z where X : C<[Y : Z]>, Y : Hashable>
extension G where X : C<Dictionary<Y, Z>> {}
// We don't do () => Swift.Void.
// CHECK-LABEL: ExtensionDecl line={{.*}} base=G
// CHECK-NEXT: Generic signature: <X, Y, Z where X : C<()>>
extension G where X : C<()> {}
// Make sure we reconstitute sugar when splitting concrete
// equivalence classes too.
protocol P {
associatedtype T where T == [U]
associatedtype U
}
struct G2<T1 : P, T2 : P> {}
// CHECK-LABEL: ExtensionDecl line={{.*}} base=G2
// CHECK-NEXT: Generic signature: <T1, T2 where T1 : P, T2 : P, T1.[P]U == [Int], T2.[P]U == [Int]>
extension G2 where T2.U == [Int], T1.T == T2.T {}
|
