Type annotations on scoping mechanisms and type/declaration annotation errors
alex.buckley at oracle.com
Mon Oct 7 18:10:44 PDT 2013
Thanks. Of the two issues:
1. CantAnnotateStaticClass is still OK and CantAnnotateStaticClass2
still makes me confused. Please see my question to you on
type-annotations-spec-observers, after your response to Srikanth on Y.YY.Z.
2. CantAnnotateScoping.java looks good. FYI the @DA in "java. at DA
lang.Object" is illegal because @DA is decorating part of a type in a
type context, but DA is not applicable to type contexts.
On 10/6/2013 6:24 PM, Werner Dietl wrote:
> Dear all,
> I've just pushed the following three changesets to type-annotations:
> I tried to address two issues:
> 1. errors on "scoping mechanisms" were inconsistent.
> 2. an annotation that is both a type and a declaration annotation is
> legal, if it is legal under one interpretation (see this discussion:
> Please have a look at the changed test cases and let me know what you think.
> More complete combo-tests would be great!
> cu, WMD.
More information about the type-annotations-dev