test/tools/javac/Diagnostics/8010387/T8010387.java

Mon, 02 Sep 2013 22:38:36 +0100

author
vromero
date
Mon, 02 Sep 2013 22:38:36 +0100
changeset 2000
4a6acc42c3a1
parent 0
959103a6100f
permissions
-rw-r--r--

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 }

mercurial