Flow scoping

[Tagir Valeev]

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.

>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20190104/9126d64e/attachment.html>