On Wed, Jul 17, 2013 at 4:03 PM, John Rose <john.r.rose at oracle.com> wrote: > On Dec 18, 2012, at 3:55 PM, Michael Nascimento <misterm at gmail.com> wrote: > >> I think they should be final when inferred. > > > +1 for inferring final also when inferring a type; feels like the magic on catch (X|Y ex) Yes, it's a very good idea. Zhong Yu