845N/A/**
845N/A * @test /nodynamiccopyright/
845N/A * @bug 6838943
845N/A * @summary inference: javac is not handling type-variable substitution properly
845N/A * @compile/fail/ref=T6838943.out -XDrawDiagnostics T6838943.java
845N/A */
845N/Aclass T6838943 {
845N/A static class A<X> {}
845N/A static class B {}
845N/A static class C<X> {
845N/A <Z> void m(X x, Z z) {
845N/A C<A<Z>> c = new C<A<Z>>();
845N/A c.m(new A<B>(), new B()); //should fail
845N/A }
845N/A }
845N/A}