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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
// RUN: %target-typecheck-verify-swift
// RUN: %target-typecheck-verify-swift -debug-generic-signatures > %t.dump 2>&1
// RUN: %FileCheck %s < %t.dump
protocol P {
associatedtype Assoc : P
var assoc: Assoc { get }
}
func testP<T: P>(_ t: T) {
testP(t.assoc)
testP(t.assoc.assoc)
testP(t.assoc.assoc.assoc)
testP(t.assoc.assoc.assoc.assoc.assoc.assoc.assoc)
}
// https://github.com/apple/swift/issues/48057
protocol P1 {
associatedtype X : P2
}
// CHECK-LABEL: .P2@
// CHECK: Requirement signature: <Self where Self == Self.[P2]Y.[P1]X, Self.[P2]Y : P1, Self.[P2]Z : P1>
protocol P2 {
associatedtype Y : P1 where Y.X == Self
associatedtype Z : P1
}
// https://github.com/apple/swift/issues/48045
protocol P3 {
associatedtype X : P4
}
// CHECK-LABEL: .P4@
// CHECK: Requirement signature: <Self where Self == Self.[P4]Y.[P3]X, Self.[P4]Y : P3, Self.[P4]Z : P3, Self.[P4]Y.[P3]X == Self.[P4]Z.[P3]X>
protocol P4 {
associatedtype Y: P3 where Y.X == Self
associatedtype Z: P3 where Z.X == Self
}
protocol P5 {
associatedtype X : P5
where X.X == X
}
// CHECK-LABEL: .P6@
// CHECK: Requirement signature: <Self where Self : P5, Self.[P6]Y : P5>
protocol P6 : P5 {
associatedtype Y : P5
}
// CHECK: Generic signature: <Self where Self : P6, Self.[P5]X == Self.[P6]Y.[P5]X>
extension P6 where X == Y.X { }
// https://github.com/apple/swift/issues/48173
protocol P7 {
associatedtype X: P9 where X.Q == Self, X.R == UInt8
associatedtype Y: P9 where Y.Q == Self, Y.R == UInt16
// NOTE: Removing either X or Y from P7 (and A7) makes the program compile.
}
struct A7: P7 {
typealias X = S9<UInt8>
typealias Y = S9<UInt16>
}
protocol P8 { }
protocol P9 : P8 { // NOTE: Removing ": P8 " here makes the program compile.
associatedtype Q: P7
associatedtype R
}
struct S9<E> : P9 {
typealias R = E
typealias Q = A7
}
// https://github.com/apple/swift/issues/48180
protocol P10 {
associatedtype X : P11 where X.Q == Self
}
protocol P11 {
associatedtype Q : P10
// CHECK-LABEL: .P11.map@
// CHECK: Generic signature: <Self, T where Self : P11, T : P11, Self.[P11]Q == T.[P11]Q>
func map<T>(_: T.Type) where T : P11, Q == T.Q
}
// Redundances within a requirement signature.
protocol P12 { }
// CHECK-LABEL: .P13@
// CHECK: Requirement signature: <Self where Self.[P13]AT1 : P12, Self.[P13]AT1 == Self.[P13]AT2.[P13]AT1, Self.[P13]AT2 : P13>
protocol P13 {
associatedtype AT1 : P12
associatedtype AT2: P13 where AT2.AT1 == AT1
}
|
