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