aoqi@0: /**
aoqi@0:  * @test /nodynamiccopyright/
aoqi@0:  * @bug     8010387
aoqi@0:  * @summary rich diagnostic sometimes contain wrong type variable numbering
aoqi@0:  * @compile/fail/ref=T8010387.out -XDrawDiagnostics -XDdiags=disambiguateTvars,where T8010387.java
aoqi@0:  */
aoqi@0: abstract class T8010387<X> {
aoqi@0: 
aoqi@0:     interface F<X> { }
aoqi@0: 
aoqi@0:     <P> void test() {
aoqi@0:         m(new F<P>() { });
aoqi@0:     }
aoqi@0: 
aoqi@0: 
aoqi@0:     abstract <T> T8010387<?> m(F<? extends X> fx);
aoqi@0: }