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
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend -emit-module-path %t/print_synthesized_extensions_generics.swiftmodule -emit-module-doc -emit-module-doc-path %t/print_synthesized_extensions_generics.swiftdoc %s
// RUN: %target-swift-ide-test -print-module -synthesize-extension -print-interface -no-empty-line-between-members -module-to-print=print_synthesized_extensions_generics -I %t -source-filename=%s | %FileCheck %s
public protocol P1 {
associatedtype T
associatedtype U
}
public class A {}
public class B<T> : A {}
extension P1 where T : B<U> {
public func qux() {}
}
extension P1 where T : B<Int> {
public func flob() {}
}
public class C<T : A, U> {}
extension C : P1 {}
// CHECK: extension C where T : print_synthesized_extensions_generics.B<U> {
// CHECK-NEXT: func qux()
// CHECK-NEXT: }
// CHECK: extension C where T : print_synthesized_extensions_generics.B<Int> {
// CHECK-NEXT: func flob()
// CHECK-NEXT: }
public class D<U> {}
extension D : P1 {
public typealias T = B<U>
}
// CHECK: class D<U> {
// CHECK-NEXT: func qux()
// CHECK-NEXT: }
// FIXME: Arguably we should support this
// CHECK-NOT: extension D where U == Int
public class E {}
extension E: P1 {
public typealias T = B<U>
public typealias U = Int
}
// CHECK: class E {
// CHECK-NEXT: func qux()
// CHECK-NEXT: func flob()
// CHECK-NEXT: }
public class F {}
extension F : P1 {
public typealias T = B<U>
public typealias U = String
}
// CHECK: class F {
// CHECK-NEXT: func qux()
// CHECK-NEXT: }
// CHECK-NOT: extension F where T : B<Int>
public protocol P2 {
associatedtype T : P1
}
extension P2 where T.T : A {
public func blah() {}
}
public class G<T : P1> {}
extension G : P2 {}
// CHECK: extension G where T.T : print_synthesized_extensions_generics.A {
// CHECK-NEXT: func blah()
// CHECK-NEXT: }
// CHECK: extension P1 where Self.T : print_synthesized_extensions_generics.B<Self.U> {
// CHECK-NEXT: func qux()
// CHECK-NEXT: }
// CHECK: extension P1 where Self.T : print_synthesized_extensions_generics.B<Int> {
// CHECK-NEXT: func flob()
// CHECK-NEXT: }
// CHECK: extension P2 where Self.T.T : print_synthesized_extensions_generics.A {
// CHECK-NEXT: func blah()
// CHECK-NEXT: }
|
