Exceptions and lambda.
Srikanth S Adayapalam
srikanth_sankaran at in.ibm.com
Wed Feb 6 04:51:44 PST 2013
> From: Maurizio Cimadamore <maurizio.cimadamore at oracle.com>
> Subject: Re: Exceptions and lambda.
> This is a bug in the logic that merges descriptors from supertypes. Type
> parameters should be carried over.
Thanks for the clarification.
I did a quick scan of the spec (0.6.1) and while the part about how a
lambda cannot
declare type variables is clearly called out, I couldn't find some text
that explicitly
forbids the scenario we are talking about (where types are elided and
inferred and
there is no further need to refer to any type variables) -
That plus the fact that I could actually get javac to compile some invalid
code
resulted in my confusion.
Srikanth.
More information about the lambda-spec-observers
mailing list