[switch] Further unification on switch

[Guy Steele]

> On Apr 19, 2018, at 6:19 PM, Kevin Bourrillion <kevinb at google.com> wrote:
> . . .
> Can a single-statement case have a variable declaration as that statement, and what would be its scope?

My guess would be “yes”, and all the same things would happen as for a local variable declaration statement that happens to be the last statement of a block—in particular, the variable bound by the last declarator has a scope so small that it cannot contain any references to that variable.

—Guy