[type-annos-observers] JLS Creator production does not use 'Type'

[Alex Buckley]

On 3/31/2013 11:33 AM, Michael Ernst wrote:
>> The JSR 308 spec has a problem: the 'Creator' production in JLS ch.18 does
>> not use 'Type', so it is unaffected by JSR 308's addition of 'Annotations'
>> to 'Type'. In other words, no annotations after 'new' are permitted by the
>> spec! Obviously they should be, if their type has TYPE or TYPE_USE in
>> @Target.

When and where was the message sent which calls out Creator as not using 
Type? I recall identifying that AnnotationTypeElementRest et al must use 
UnannType rather than Type - but I cannot find mails about Creator, so I 
am worried a production might be overlooked.

> I'm sorry, but I can't remember what decision we made about fixing this
> problem with the JLS specification.  Are you going to change that in the
> JLS, so that the JSR 308 specification doesn't have to call it out?  Or, do
> you want the JSR 308 specification to change the BNF rules for Creator,
> ArrayCreator, and InnerCreator?

The latter, please - 308 should add [Annotations] to Creator et al. The 
former - adopting Type in Creator et al - would be tricky because of 
diamond and partially-dimensioned array types.

Alex