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.
20 lines
334 B
Swift
20 lines
334 B
Swift
|
|
@resultBuilder
|
|
struct Builder {
|
|
static func buildBlock<T>(_ components: T...) -> T {
|
|
fatalError()
|
|
}
|
|
}
|
|
|
|
@Builder
|
|
func bar() {
|
|
foo { x in
|
|
switch x {
|
|
case let .success(y):
|
|
0
|
|
}
|
|
}
|
|
}
|
|
// Make sure we don't crash when attempting to solve the fallback.
|
|
// RUN: %sourcekitd-test -req=complete -pos=13:15 %s -- %s
|