Mercurial > jdk8-mips64-public > langtools / file revision

• file
• revisions
• annotate
• diff
• comparison
• raw

test/tools/javac/generics/inference/6838943/T6838943.java@48ee63caaa93

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

Tue, 06 Mar 2012 13:28:05 +0000

author

mcimadamore

date

Tue, 06 Mar 2012 13:28:05 +0000

changeset 1219

48ee63caaa93

parent 0

959103a6100f

permissions

-rw-r--r--

7144506: Attr.checkMethod should be called after inference variables have been fixed
Summary: Unify post-inference sanity check with Attr.checkMethod
Reviewed-by: jjg, dlsmith

 /**

  * @test /nodynamiccopyright/

  * @bug 6838943

  * @summary inference: javac is not handling type-variable substitution properly

  * @compile/fail/ref=T6838943.out -XDrawDiagnostics T6838943.java

  */

 class T6838943 {

     static class A<X> {}

     static class B {}

     static class C<X> {

         <Z> void m(X x, Z z) {

             C<A<Z>> c = new C<A<Z>>();

             c.m(new A<B>(), new B()); //should fail

         }

     }

 }