1 /**

     2  * @test /nodynamiccopyright/

     3  * @bug     8010387

     4  * @summary rich diagnostic sometimes contain wrong type variable numbering

     5  * @compile/fail/ref=T8010387.out -XDrawDiagnostics -XDdiags=disambiguateTvars,where T8010387.java

     6  */

     7 abstract class T8010387<X> {

     8 

     9     interface F<X> { }

    10 

    11     <P> void test() {

    12         m(new F<P>() { });

    13     }

    14 

    15 

    16     abstract <T> T8010387<?> m(F<? extends X> fx);

    17 }