Annotation on lambda formal parameter?

[Dan Smith]

Didn't we already address this with "Modifiers on Inferred-Type Lambda Parameters", which we rejected (in email "Some rejected ideas" 5 Jul 2012, then in the August meeting)?  Or am I misunderstanding the question?

—Dan

On Dec 11, 2012, at 9:35 PM, Brian Goetz <brian.goetz at oracle.com> wrote:

> Received from the -comments list.  Note that this is largely a query of "what does the Lambda EG think the JSR-308 EG should do".
> 
> 
> -------- Original Message --------
> Subject: Annotation on lambda formal parameter?
> Date: Tue, 11 Dec 2012 16:27:23 -0800
> From: Alex Buckley <alex.buckley at oracle.com>
> Organization: Oracle Corporation
> To: lambda-spec-comments at openjdk.java.net
> CC: Michael Ernst <mernst at cs.washington.edu>
> 
> Lambda EG,
> 
> JSR 308 "Annotations on Java Types" will allow annotations on the
> manifest type of a lambda expression's formal parameter, and on the type
> and/or type argument in a method/constructor reference expression.
> 
> Is there any interest in having 308 allow an annotation on a lambda
> formal parameter itself? That is, on the declaration of the parameter,
> rather than its type. A declaration annotation is conceptually valid
> even if the parameter declaration has no manifest type on which to write
> a type annotation.
> 
> This is somewhat in scope for 308 because it already allows annotations
> on declarations of type parameters (filling a hole from Java SE 5.0) and
> it has the sub-method-level class file attributes needed to store
> annotations on declarations of individual lambda parameters.
> 
> Alex
> 
>