--- a/langtools/test/tools/javac/annotations/typeAnnotations/failures/Scopes.java Tue Oct 15 22:15:35 2013 +0200
+++ b/langtools/test/tools/javac/annotations/typeAnnotations/failures/Scopes.java Tue Oct 15 15:57:13 2013 -0700
@@ -1,17 +1,16 @@
/*
* @test /nodynamiccopyright/
* @bug 6843077 8006775
- * @summary check that A is accessible in the class type parameters
+ * @summary Unqualified inner type annotation not in scope.
* @author Mahmood Ali
* @compile/fail/ref=Scopes.out -XDrawDiagnostics Scopes.java
*/
-class Scopes<T extends @UniqueInner Object> {
- // UniqueInner is not visible in the type parameters.
- // One has to use Scopes.UniqueInner.
- // Annotations with the default @Target are not allowed there,
- // so we also get the second error about the invalid location.
- // Adding the target here doesn't matter, as we don't resolve
- // the annotation type.
- // @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
- @interface UniqueInner { };
+import java.lang.annotation.*;
+
+@InnerTA
+class Scopes<@InnerTA T extends @InnerTA Object> {
+ // The simple name TA is not in scope on header of class.
+ // One has to use @Scopes.TA.
+ @Target(ElementType.TYPE_USE)
+ @interface InnerTA { };
}