swift/test/Sema/availability_isolated_any.swift at main · swiftlang/swift · GitHub

Name: swift/test/Sema/availability_isolated_any.swift at main · swiftlang/swift · GitHub
Rating: 4.9 (5804 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
// RUN: %target-typecheck-verify-swift -target %target-cpu-apple-macosx10.50

// REQUIRES: OS=macosx

// Concrete uses of @isolated(any) are fine.
func expectIsolatedAny(fn:@isolated(any)()->()){}

func testConcrete1(fn:@isolated(any)()->()){
expectIsolatedAny(fn: fn)
}
func testConcrete2(fn:@isolated(any)()->()){
expectIsolatedAny{}
}
func testConcrete3(fn:@MainActor()->()){
expectIsolatedAny{}
}

func testErasure(fn:@escaping@isolated(any)()->())->Any{
return fn // expected-error {{runtime support for '@isolated(any)' function types is only available in}}
 // expected-note @-2 {{add '@available' attribute to enclosing global function}}
 // expected-note @-2 {{add 'if #available' version check}}
}

func testCovariantErasure(fn:@escaping()->@isolated(any)()->Void)->(()->Any){
return fn // expected-error {{runtime support for '@isolated(any)' function types is only available in}}
 // expected-note @-2 {{add '@available' attribute to enclosing global function}}
 // expected-note @-2 {{add 'if #available' version check}}
}

func testContravariantErasure(fn:@escaping(Any)->Void)->((@escaping@isolated(any)()->Void)->Void){
return fn // expected-error {{runtime support for '@isolated(any)' function types is only available in}}
 // expected-note @-2 {{add '@available' attribute to enclosing global function}}
 // expected-note @-2 {{add 'if #available' version check}}
}

protocolP{
associatedtypeA
}

structS:P{ // expected-note {{add '@available' attribute to enclosing struct}}
typealiasA=@isolated(any)()->() // expected-error {{runtime support for '@isolated(any)' function types is only available in}}
 // expected-note @-1 {{add '@available' attribute to enclosing type alias}}
}