T8010387.java revision 3643:589ff4d43428 
1/**
2 * @test /nodynamiccopyright/
3 * @bug     8010387
4 * @summary rich diagnostic sometimes contain wrong type variable numbering
5 * @compile/fail/ref=T8010387.out -XDrawDiagnostics --diags:formatterOptions=disambiguateTvars,where T8010387.java
6 */
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