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 }