mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
a40f1abaff
Introduce SingleValueStmtExpr, which allows the embedding of a statement in an expression context. This then allows us to parse and type-check `if` and `switch` statements as expressions, gated behind the `IfSwitchExpression` experimental feature for now. In the future, SingleValueStmtExpr could also be used for e.g `do` expressions. For now, only single expression branches are supported for producing a value from an `if`/`switch` expression, and each branch is type-checked independently. A multi-statement branch may only appear if it ends with a `throw`, and it may not `break`, `continue`, or `return`. The placement of `if`/`switch` expressions is also currently limited by a syntactic use diagnostic. Currently they're only allowed in bindings, assignments, throws, and returns. But this could be lifted in the future if desired.
24 lines
420 B
Swift
24 lines
420 B
Swift
// RUN: %target-swift-emit-sil -verify %s -o /dev/null
|
|
|
|
func takesGenericReturningFn<R>(_ fn: () -> R) {}
|
|
|
|
func testOuterClosureReturn() {
|
|
takesGenericReturningFn {
|
|
if .random() {
|
|
return
|
|
} else {
|
|
()
|
|
}
|
|
}
|
|
}
|
|
|
|
func testNeverToVoid() {
|
|
takesGenericReturningFn {
|
|
if .random() { // This does not turn into an expression due to the 'do'.
|
|
fatalError()
|
|
} else {
|
|
do {}
|
|
}
|
|
}
|
|
}
|