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.


More information about the amber-spec-observers mailing list