T8010387.java revision 3547:e18190929198 
1118856Sphk/**
2118856Sphk * @test /nodynamiccopyright/
3118856Sphk * @bug     8010387
4118856Sphk * @summary rich diagnostic sometimes contain wrong type variable numbering
5118856Sphk * @compile/fail/ref=T8010387.out -XDrawDiagnostics -diags:formatterOptions=disambiguateTvars,where T8010387.java
6118856Sphk */
7abstract 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}
18