Type annotations clarification

[Eric McCorkle]

I need a brief clarification on what the type path should look like for
some type annotations.

In the following example:


class Outer {

  class Inner<T> {}

  Outer. at A Inner<@B Integer> f1;

  @C Inner<@D String> f2;

}


The type paths for @A and @B look like this:

@A: [INNER_TYPE]
@B: [INNER_TYPE, TYPE_ARGUMENT(0)]

The question is, what about @C and @D, which are on an unqualified
reference to Inner?  Should they be the same as for @A and @B, or should
they look like this:

@C: []
@D: [TYPE_ARGUMENT(0)]



Thanks,
Eric
-------------- next part --------------
A non-text attachment was scrubbed...
Name: eric_mccorkle.vcf
Type: text/x-vcard
Size: 303 bytes
Desc: not available
Url : http://mail.openjdk.java.net/pipermail/compiler-dev/attachments/20140224/ca7cfaed/eric_mccorkle.vcf