aoqi@0: /*
aoqi@0:  * @test /nodynamiccopyright/
aoqi@0:  * @bug     6313164
aoqi@0:  * @author mcimadamore
aoqi@0:  * @summary  javac generates code that fails byte code verification for the varargs feature
aoqi@0:  * @compile/fail/ref=T6313164.out -XDrawDiagnostics T6313164.java
aoqi@0:  */
aoqi@0: import p1.*;
aoqi@0: 
aoqi@0: class T6313164 {
aoqi@0:     { B b = new B();
aoqi@0:       b.foo1(new B(), new B()); //error - A not accesible
aoqi@0:       b.foo2(new B(), new B()); //ok - A not accessible, but foo2(Object...) applicable
aoqi@0:       b.foo3(null, null); //error - A (inferred) not accesible
aoqi@0:       b.foo4(null, null); //error - A (inferred in 15.12.2.8 - no resolution backtrack) not accesible
aoqi@0:       b.foo4(new B(), new C()); //ok - A (inferred in 15.12.2.7) not accessible, but foo4(Object...) applicable
aoqi@0:     }
aoqi@0: }