Type annotations on scoping mechanisms and type/declaration annotation errors

[Werner Dietl]

Dear all,

I've just pushed the following three changesets to type-annotations:

http://hg.openjdk.java.net/type-annotations/type-annotations/langtools/rev/9a8d0fe3375e
http://hg.openjdk.java.net/type-annotations/type-annotations/langtools/rev/d159031089b9
http://hg.openjdk.java.net/type-annotations/type-annotations/langtools/rev/5f5ee58549bc

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:
http://mail.openjdk.java.net/pipermail/type-annotations-spec-observers/2013-September/000194.html)

Please have a look at the changed test cases and let me know what you think.
More complete combo-tests would be great!

Thanks,
cu, WMD.

-- 
http://www.google.com/profiles/wdietl