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
|
// RUN: %target-swift-emit-silgen %s | %FileCheck %s
protocol Saturable: Comparable {
func saturated(max: Self) -> Self
}
extension Int: Saturable {
func saturated(max: Int) -> Int {
return self > max ? max : self
}
}
// CHECK-NOT: sil_witness_table Int: Equatable module witnesses_refinement {
// CHECK-NOT: sil_witness_table Int: Comparable module witnesses_refinement {
// CHECK: sil_witness_table hidden Int: Saturable module witnesses_refinement {
protocol P { }
protocol P0 {
associatedtype A
}
protocol P1 {
associatedtype A
}
protocol P2: P0 {
associatedtype A
}
protocol P3: P2, P1 {
associatedtype A: P
}
struct ConformsToP: P { }
// CHECK-LABEL: sil_witness_table hidden ConformsToP3: P3
// CHECK: base_protocol P1
// CHECK-NEXT: base_protocol P2
// CHECK-NEXT: associated_type_protocol (A: P)
// CHECK-NEXT: }
struct ConformsToP3: P3 {
typealias A = ConformsToP
}
// CHECK-LABEL: sil_witness_table hidden ConformsToP3: P2
// CHECK: base_protocol P0
// CHECK-NEXT: }
// CHECK-LABEL: sil_witness_table hidden ConformsToP3: P1
// CHECK: associated_type A: ConformsToP
// CHECK-NEXT: }
// CHECK-LABEL: sil_witness_table hidden ConformsToP3: P0
// CHECK: associated_type A: ConformsToP
// CHECK-NEXT: }
|
