SE-0380: `if` and `switch` expressions

[Ben_Cohen]

@Jumhyn

If I had to make one further allowance, it would be to additionally permit switch and if expressions to appear recursively as the single expression branch of an outer if/switch expression

This is covered by the proposal:

Within a branch, further if or switch expressions may be nested.