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
|
// RUN: %target-typecheck-verify-swift -disable-availability-checking -enable-experimental-concurrency
// Required for '-enable-experimental-concurrency'
// REQUIRES: concurrency
// REQUIRES: asserts
func asyncFn() async -> Int { 0 }
func reasyncSwitch1(_ fn: () async -> Int) reasync -> Int {
let x = switch Bool.random() { case true: await fn() case false: 1 }
return x
}
func reasyncSwitch2(_ fn: () async -> Int) reasync -> Int {
switch Bool.random() { case true: await fn() case false: 1 }
}
// Not a very good diagnostic, but reasync is still experimental.
func reasyncSwitch3(_ fn: () async -> Int) reasync -> Int {
// expected-note@-1 {{add 'async' to function 'reasyncSwitch3' to make it asynchronous}}
let x = switch Bool.random() { case true: await fn() case false: await asyncFn() }
// expected-error@-1 {{'async' call in a function that does not support concurrency}}
return x
}
func reasyncSwitch4(_ fn: () async -> Int) reasync -> Int {
let _ = {
let x = switch Bool.random() { case true: await fn() case false: await asyncFn() }
return x
}
return 0
}
|
