Type annotations on scoping mechanisms and type/declaration annotation errors
wdietl at gmail.com
Mon Oct 7 19:35:26 PDT 2013
> 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.
I agree that the test case CASC2 is not the cleanest and would
appreciate somebody else independently testing the logic I
> 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.
Do you agree with the error messages I raise in these examples?
I also have a "java. at DA XXX.Object" test case and am not quite sure
how many error messages would be most helpful.
See the following test case:
fields f5 and f6.
> 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
>> More complete combo-tests would be great!
>> cu, WMD.
More information about the type-annotations-dev