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
|
// RUN: %target-swift-ide-test -conforming-methods -source-filename %s -code-completion-token=TEST_1 -module-name MyModule -conforming-methods-expected-types '$s8MyModule7Target1PD' -conforming-methods-expected-types '$s8MyModule7Target2PD' | %FileCheck %s -check-prefix=CHECK_1
// RUN: %target-swift-ide-test -conforming-methods -source-filename %s -code-completion-token=TEST_2 -module-name MyModule -conforming-methods-expected-types '$s8MyModule7Target1PD' -conforming-methods-expected-types '$s8MyModule7Target2PD' | %FileCheck %s -check-prefix=CHECK_1
// RUN: %target-swift-ide-test -conforming-methods -source-filename %s -code-completion-token=TEST_3 -module-name MyModule -conforming-methods-expected-types '$s8MyModule7Target1PD' -conforming-methods-expected-types '$s8MyModule7Target2PD' | %FileCheck %s -check-prefix=CHECK_1
// RUN: %target-swift-ide-test -conforming-methods -source-filename %s -code-completion-token=TEST_4 -module-name MyModule -conforming-methods-expected-types '$s8MyModule7Target1PD' -conforming-methods-expected-types '$s8MyModule7Target2PD' | %FileCheck %s -check-prefix=CHECK_1
protocol Target1 {
associatedType Assoc
}
protocol Target2 {}
protocol Target3 {}
struct ConcreteTarget1 : Target1 {}
struct ConcreteTarget2 : Target2 {}
struct ConcreteTarget3 : Target3 {}
struct C {
func returnsConcreteTarget1() -> ConcreteTarget1 { fatalError() }
func returnsExistentialTarget1() -> Target1 { fatalError() }
}
protocol P {
func returnsConcreteTarget2() -> ConcreteTarget2
func returnsConcreteTarget3() -> ConcreteTarget3
}
extension P {
func returnSelf() -> Self { return self }
func returnsConcreteTarget2() -> ConcreteTarget2 { fatalError() }
func returnsConcreteTarget3() -> ConcreteTarget3 { fatalError() }
}
extension C : P {}
func testing(obj: C) {
let _ = obj #^TEST_1^#
let _ = obj .#^TEST_2^#
let _ = obj.returnSelf()#^TEST_3^#
let _ = obj.returnSelf().#^TEST_4^#
}
// CHECK_1: -----BEGIN CONFORMING METHOD LIST-----
// CHECK_1-NEXT: - TypeName: C
// CHECK_1-NEXT: - Members:
// CHECK_1-NEXT: - Name: returnsConcreteTarget1()
// CHECK_1-NEXT: TypeName: ConcreteTarget1
// CHECK_1-NEXT: - Name: returnsConcreteTarget2()
// CHECK_1-NEXT: TypeName: ConcreteTarget2
// CHECK_1-NEXT: -----END CONFORMING METHOD LIST-----
|
