Exceptions and lambda.

[Srikanth S Adayapalam]

> 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. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/lambda-spec-experts/attachments/20130206/505a05cd/attachment.html