1 /*
   2  * @test /nodynamiccopyright/
   3  * @bug 6843077 8006775
   4  * @summary check that A is accessible in the class type parameters
   5  * @author Mahmood Ali
   6  * @compile/fail/ref=Scopes.out -XDrawDiagnostics Scopes.java
   7  */
   8 class Scopes<T extends @UniqueInner Object> {
   9   // UniqueInner is not visible in the type parameters.
  10   // One has to use Scopes.UniqueInner.
  11   // Annotations with the default @Target are not allowed there,
  12   // so we also get the second error about the invalid location.
  13   // Adding the target here doesn't matter, as we don't resolve
  14   // the annotation type.
  15   // @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
  16   @interface UniqueInner { };
  17 }

   1 /*
   2  * @test /nodynamiccopyright/
   3  * @bug 6843077 8006775
   4  * @summary check that A is accessible in the class type parameters
   5  * @author Mahmood Ali
   6  * @compile/fail/ref=Scopes.out -XDrawDiagnostics Scopes.java
   7  */
   8 class Scopes<T extends @UniqueInner Object> {
   9     // UniqueInner is not visible in the type parameters.
  10     // One has to use Scopes.UniqueInner.
  11     // Annotations with the default @Target are not allowed there,
  12     // so we also get the second error about the invalid location.
  13     // Adding the target here doesn't matter, as we don't resolve
  14     // the annotation type.
  15     //@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
  16     @interface UniqueInner { };
  17 }