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

test/tools/javac/varargs/6313164/T6313164.java@5a43b245aed1 (annotated)

test/tools/javac/varargs/6313164/T6313164.java

Fri, 28 Jan 2011 12:03:49 +0000

author

mcimadamore

date

Fri, 28 Jan 2011 12:03:49 +0000

changeset 845

5a43b245aed1

parent 0

959103a6100f

child 2531

fc2a01ba3d79

permissions

-rw-r--r--

6313164: javac generates code that fails byte code verification for the varargs feature
Summary: method applicability check should fail if formal varargs element type is not accessible
Reviewed-by: jjg

aoqi@0	1	/*
aoqi@0	2	* @test /nodynamiccopyright/
aoqi@0	3	* @bug 6313164
aoqi@0	4	* @author mcimadamore
aoqi@0	5	* @summary javac generates code that fails byte code verification for the varargs feature
aoqi@0	6	* @compile/fail/ref=T6313164.out -XDrawDiagnostics T6313164.java
aoqi@0	7	*/
aoqi@0	8	import p1.*;
aoqi@0	9
aoqi@0	10	class T6313164 {
aoqi@0	11	{ B b = new B();
aoqi@0	12	b.foo1(new B(), new B()); //error - A not accesible
aoqi@0	13	b.foo2(new B(), new B()); //ok - A not accessible, but foo2(Object...) applicable
aoqi@0	14	b.foo3(null, null); //error - A (inferred) not accesible
aoqi@0	15	b.foo4(null, null); //error - A (inferred in 15.12.2.8 - no resolution backtrack) not accesible
aoqi@0	16	b.foo4(new B(), new C()); //ok - A (inferred in 15.12.2.7) not accessible, but foo4(Object...) applicable
aoqi@0	17	}
aoqi@0	18	}