> De: "Tagir Valeev" <amae...@gmail.com>
> À: "Brian Goetz" <brian.go...@oracle.com>
> Cc: "amber-spec-experts" <amber-spec-experts@openjdk.java.net>
> Envoyé: Vendredi 4 Janvier 2019 15:07:44
> Objet: Re: Flow scoping
> 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.
so i am, as a user if you explicitly choose the instanceof form that introduce
a local name, the local name should be introduced :)
> With best regards,
> Tagir Valeev.
Happy new year,
Rémi
