swift/test/Serialization/conformance-objc-async.swift at main · swiftlang/swift · GitHub

Name: swift/test/Serialization/conformance-objc-async.swift at main · swiftlang/swift · GitHub
Rating: 4.7 (3942 reviews)
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-5.5-abi-triple -module-name Conformance -I %t %t/Conformance.swift
// RUN: %target-swift-emit-module-interface(%t/Conformance.swiftinterface) -target %target-swift-5.5-abi-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

publicfinalclassDoableWithCompletionHandler:Doable{
 // Matches synchronous requirement
publicfunc doIt(completion:@escaping()->Void){}
}

publicfinalclassDoableWithAsync:Doable{
 // Matches async requirement
publicfunc doIt()async{}
}

publicfinalclassDoableWithCompletionHandlerAndAsyncCandidate:Doable{
 // Matches synchronous requirement
publicfunc doIt(completion:@escaping()->Void){}

 // Near-miss for async requirement
publicfunc doIt()async->Int{}
}

publicfinalclassDoableWithCompletionHandlerAndAsyncCandidate2:Doable{
 // Near-miss for async requirement
publicfunc doIt()async->Int{}

 // Matches synchronous requirement
publicfunc doIt(completion:@escaping()->Void){}
}

publicfinalclassDoableWithCompletionHandlerAndMultipleAsyncCandidates:Doable{
 // Matches synchronous requirement
publicfunc doIt(completion:@escaping()->Void){}

 // Multiple near-misses for async requirement
publicfunc doIt()async->Int{}
publicfunc doIt()async->Double{}
}

publicfinalclassDoableWithCompletionHandlerAndMultipleAsyncCandidates2:Doable{
 // Multiple near-misses for async requirement
publicfunc doIt()async->Int{}
publicfunc doIt()async->Double{}

 // Matches synchronous requirement
publicfunc doIt(completion:@escaping()->Void){}
}

publicfinalclassDoableWithAsyncAndCompletionHandlerCandidate:Doable{
 // Matches async requirement
publicfunc doIt()async{}

 // Near-miss for synchronous requirement
publicfunc doIt(reply:@escaping()->Void){}
}

publicfinalclassDoableWithAsyncAndCompletionHandlerCandidate2:Doable{
 // Near-miss for synchronous requirement
publicfunc doIt(reply:@escaping()->Void){}

 // Matches async requirement
publicfunc doIt()async{}
}

publicfinalclassDoableWithAsyncAndMultipleCompletionHandlerCandidates:Doable{
 // Matches async requirement
publicfunc doIt()async{}

 // Multiple near-misses for synchronous requirement
publicfunc doIt(reply:@escaping()->Void){}
publicfunc doIt(otherReply:@escaping()->Void){}
}

publicfinalclassDoableWithAsyncAndMultipleCompletionHandlerCandidates2:Doable{
 // Multiple near-misses for synchronous requirement
publicfunc doIt(otherReply:@escaping()->Void){}
publicfunc doIt(reply:@escaping()->Void){}

 // Matches async requirement
publicfunc doIt()async{}
}