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
|
// RUN: %empty-directory(%t)
// RUN: split-file %s %t
// RUN: %target-swift-emit-module-interface(%t/Conformance.swiftinterface) -target %target-swift-abi-5.5-triple -module-name Conformance -I %t %t/Conformance.swift
// RUN: %target-swift-emit-module-interface(%t/Conformance.swiftinterface) -target %target-swift-abi-5.5-triple -module-name Conformance -experimental-lazy-typecheck -I %t %t/Conformance.swift
// RUN: %target-swift-frontend -compile-module-from-interface %t/Conformance.swiftinterface -module-name Conformance -o /dev/null -I %t
// REQUIRES: objc_interop
// REQUIRES: concurrency
//--- module.modulemap
module ObjCProto {
header "objc_proto.h"
export *
}
//--- objc_proto.h
@protocol Doable
- (void)doItWithCompletion:(void (^)())completion;
@end
//--- Conformance.swift
import ObjCProto
public final class DoableWithCompletionHandler: Doable {
// Matches synchronous requirement
public func doIt(completion: @escaping () -> Void) {}
}
public final class DoableWithAsync: Doable {
// Matches async requirement
public func doIt() async {}
}
public final class DoableWithCompletionHandlerAndAsyncCandidate: Doable {
// Matches synchronous requirement
public func doIt(completion: @escaping () -> Void) {}
// Near-miss for async requirement
public func doIt() async -> Int {}
}
public final class DoableWithCompletionHandlerAndAsyncCandidate2: Doable {
// Near-miss for async requirement
public func doIt() async -> Int {}
// Matches synchronous requirement
public func doIt(completion: @escaping () -> Void) {}
}
public final class DoableWithCompletionHandlerAndMultipleAsyncCandidates: Doable {
// Matches synchronous requirement
public func doIt(completion: @escaping () -> Void) {}
// Multiple near-misses for async requirement
public func doIt() async -> Int {}
public func doIt() async -> Double {}
}
public final class DoableWithCompletionHandlerAndMultipleAsyncCandidates2: Doable {
// Multiple near-misses for async requirement
public func doIt() async -> Int {}
public func doIt() async -> Double {}
// Matches synchronous requirement
public func doIt(completion: @escaping () -> Void) {}
}
public final class DoableWithAsyncAndCompletionHandlerCandidate: Doable {
// Matches async requirement
public func doIt() async {}
// Near-miss for synchronous requirement
public func doIt(reply: @escaping () -> Void) {}
}
public final class DoableWithAsyncAndCompletionHandlerCandidate2: Doable {
// Near-miss for synchronous requirement
public func doIt(reply: @escaping () -> Void) {}
// Matches async requirement
public func doIt() async {}
}
public final class DoableWithAsyncAndMultipleCompletionHandlerCandidates: Doable {
// Matches async requirement
public func doIt() async {}
// Multiple near-misses for synchronous requirement
public func doIt(reply: @escaping () -> Void) {}
public func doIt(otherReply: @escaping () -> Void) {}
}
public final class DoableWithAsyncAndMultipleCompletionHandlerCandidates2: Doable {
// Multiple near-misses for synchronous requirement
public func doIt(otherReply: @escaping () -> Void) {}
public func doIt(reply: @escaping () -> Void) {}
// Matches async requirement
public func doIt() async {}
}
|
