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
// rdar://114402042 - Make sure we connect the SingleValueStmtExpr to the outer
// closure's return type.
func foo<T>(_: () -> T) {}
func bar<T>(_ x: T) {}
func test() {
foo {
bar(if true { return } else { return })
// expected-error@-1 {{'if' may only be used as expression in return, throw, or as the source of an assignment}}
// expected-error@-2 2{{cannot use 'return' to transfer control out of 'if' expression}}
}
foo {
bar(if true { { return } } else { { return } })
// expected-error@-1 {{'if' may only be used as expression in return, throw, or as the source of an assignment}}
}
}
func baz() -> String? {
nil
}
var x: Int? = {
print( // expected-error {{cannot convert value of type '()' to closure result type 'Int?'}}
// expected-note@-1 {{to match this opening '('}}
switch baz() { // expected-error {{'switch' may only be used as expression in return, throw, or as the source of an assignment}}
case ""?:
return nil // expected-error {{cannot use 'return' to transfer control out of 'switch' expression}}
default:
return nil // expected-error {{cannot use 'return' to transfer control out of 'switch' expression}}
}
}() // expected-error {{expected ')' in expression list}}
|
