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
|
// RUN: %target-typecheck-verify-swift
// RUN: %target-swift-frontend -typecheck %s -debug-generic-signatures 2>&1 | %FileCheck %s
protocol P {}
class C {}
class X<T : P> : U {}
class Y<T : C> : V {}
class Z<T : AnyObject> : W {}
protocol U {
associatedtype T : P
}
protocol V {
associatedtype T : C
}
protocol W {
associatedtype T : AnyObject
}
// CHECK-LABEL: .derivedViaConcreteX1@
// CHECK-NEXT: Generic signature: <A, B where A : X<B>, B : P>
func derivedViaConcreteX1<A, B>(_: A, _: B)
where A : U, A : X<B> {}
// CHECK-LABEL: .derivedViaConcreteX2@
// CHECK-NEXT: Generic signature: <A, B where A : X<B>, B : P>
func derivedViaConcreteX2<A, B>(_: A, _: B)
where A : U, B : P, A : X<B> {}
// CHECK-LABEL: .derivedViaConcreteY1@
// CHECK-NEXT: Generic signature: <A, B where A : Y<B>, B : C>
func derivedViaConcreteY1<A, B>(_: A, _: B)
where A : V, A : Y<B> {}
// CHECK-LABEL: .derivedViaConcreteY2@
// CHECK-NEXT: Generic signature: <A, B where A : Y<B>, B : C>
func derivedViaConcreteY2<A, B>(_: A, _: B)
where A : V, B : C, A : Y<B> {}
// CHECK-LABEL: .derivedViaConcreteZ1@
// CHECK-NEXT: Generic signature: <A, B where A : Z<B>, B : AnyObject>
func derivedViaConcreteZ1<A, B>(_: A, _: B)
where A : W, A : Z<B> {}
// CHECK-LABEL: .derivedViaConcreteZ2@
// CHECK-NEXT: Generic signature: <A, B where A : Z<B>, B : AnyObject>
func derivedViaConcreteZ2<A, B>(_: A, _: B)
where A : W, B : AnyObject, A : Z<B> {}
class Base {}
class Derived<T : C> : Base, V {}
struct G<X : Base, Y> {}
// CHECK-LABEL: ExtensionDecl line={{.*}} base=G
// CHECK-NEXT: Generic signature: <X, Y where X == Derived<Y>, Y : C>
extension G where X == Derived<Y> {}
|
