Hello!
> This is certainly this intuition that guided us here; it should be
> possible to freely refactor
>
> if (e)
> throw x;
> else { stuff }
>
> to
>
> if (e) throw x;
> stuff;
>
> and it would be sad if we could not.
For the record: I heavily support this. If then-branch cannot complete
normally, then unwrapping the else-branch should preserve the program
semantics. It works today, and it should work in future Java as well.
With best regards,
Tagir Valeev.
>
