Mon, 02 Sep 2013 22:38:36 +0100
8016177: structural most specific and stuckness
Reviewed-by: jjg, vromero
Contributed-by: maurizio.cimadamore@oracle.com
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> {
9 interface F<X> { }
11 <P> void test() {
12 m(new F<P>() { });
13 }
16 abstract <T> T8010387<?> m(F<? extends X> fx);
17 }