Flow scoping

Tagir Valeev amaembo at gmail.com
Fri Jan 4 14:07:44 UTC 2019


> 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>

More information about the amber-spec-experts mailing list