JEP325: Switch expressions spec
brian.goetz at oracle.com
Wed Apr 18 19:30:23 UTC 2018
All good points. Minor comments inline.
> |Were we considering allowing `case /something/, default:` or
> `default, case /something/:`? Of course you would never ever actually
> /need/ this... except in the one case that /something/ is null. In a
> switch expression it would be sad to be forced to revert to the old
> syntax for only this reason.|
|This may well be needed, especially if we prohibit fallthrough from a
colon label into a arrow label.
Another case where a simliar problem arises is this:
case String s:
// whoops, s is not DA here
Really, we'd like to say
case null s, String s:
case (null | String) s:
or something similar. We don't have to cross this until we get to type
patterns, but it's on the horizon.
More information about the amber-spec-observers