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
|
// RUN: %target-swift-frontend -disable-availability-checking -emit-sil -o /dev/null -verify %s
// RUN: %target-swift-frontend -disable-availability-checking -emit-sil -o /dev/null -verify -strict-concurrency=targeted %s
// RUN: %target-swift-frontend -disable-availability-checking -emit-sil -o /dev/null -verify -strict-concurrency=complete %s
// RUN: %target-swift-frontend -disable-availability-checking -emit-sil -o /dev/null -verify -strict-concurrency=complete -enable-upcoming-feature RegionBasedIsolation %s
// REQUIRES: objc_interop
// REQUIRES: concurrency
// REQUIRES: asserts
import Foundation
// async objc requirement, sync witness
@objc protocol Tracker {
func track(event: String) async // expected-note {{protocol requires function 'track(event:)' with type '(String) async -> ()'; add a stub for conformance}}
}
class Dog: NSObject, Tracker { // expected-error {{type 'Dog' does not conform to protocol 'Tracker'}}
func track(event: String) {} // expected-note {{candidate is not 'async', but @objc protocol requirement is}}
}
// sync objc requirement, async witness
@objc protocol Runner {
func run(event: String) // expected-note {{protocol requires function 'run(event:)' with type '(String) -> ()'; add a stub for conformance}}
}
class Athlete: NSObject, Runner { // expected-error {{type 'Athlete' does not conform to protocol 'Runner'}}
func run(event: String) async {} // expected-note {{candidate is 'async', but @objc protocol requirement is not}}
}
// async swift protocol, sync witness
protocol Snacker {
func snack(food: String) async
}
class Foodie: Snacker {
func snack(food: String) {}
}
// sync swift protocol, async witness
protocol Backer {
func back(stonk: String) // expected-note {{protocol requires function 'back(stonk:)' with type '(String) -> ()'; add a stub for conformance}}
}
class Investor: Backer { // expected-error {{type 'Investor' does not conform to protocol 'Backer'}}
func back(stonk: String) async {} // expected-note {{candidate is 'async', but protocol requirement is not}}
}
|
