test/tools/javac/generics/inference/6838943/T6838943.java

Tue, 20 Aug 2013 17:34:06 +0400

author
kizune
date
Tue, 20 Aug 2013 17:34:06 +0400
changeset 1959
55da6b3a6940
parent 0
959103a6100f
permissions
-rw-r--r--

7182350: Regression in wording of unchecked warning message
Reviewed-by: mcimadamore, jjg

     1 /**
     2  * @test /nodynamiccopyright/
     3  * @bug 6838943
     4  * @summary inference: javac is not handling type-variable substitution properly
     5  * @compile/fail/ref=T6838943.out -XDrawDiagnostics T6838943.java
     6  */
     7 class T6838943 {
     8     static class A<X> {}
     9     static class B {}
    10     static class C<X> {
    11         <Z> void m(X x, Z z) {
    12             C<A<Z>> c = new C<A<Z>>();
    13             c.m(new A<B>(), new B()); //should fail
    14         }
    15     }
    16 }

mercurial