test/tools/javac/Diagnostics/6722234/T6722234d.java

Mon, 21 Jan 2013 20:13:56 +0000

author
mcimadamore
date
Mon, 21 Jan 2013 20:13:56 +0000
changeset 1510
7873d37f5b37
parent 384
ed31953ca025
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8005244: Implement overload resolution as per latest spec EDR
Summary: Add support for stuck expressions and provisional applicability
Reviewed-by: jjg

mcimadamore@288 1 /**
jjg@384 2 * @test /nodynamiccopyright/
mcimadamore@288 3 * @bug 6722234
mcimadamore@288 4 * @summary javac diagnostics need better integration with the type-system
mcimadamore@288 5 * @author mcimadamore
mcimadamore@288 6 * @compile/fail/ref=T6722234d_1.out -XDrawDiagnostics -XDdiags=where T6722234d.java
mcimadamore@288 7 * @compile/fail/ref=T6722234d_2.out -XDrawDiagnostics -XDdiags=where,simpleNames T6722234d.java
mcimadamore@288 8 */
mcimadamore@288 9
mcimadamore@288 10 class T6722234d {
mcimadamore@288 11 interface I1 {}
mcimadamore@288 12 interface I2 {}
mcimadamore@288 13 class A implements I1, I2 {}
mcimadamore@288 14 class B implements I1, I2 {}
mcimadamore@288 15 class Test {
mcimadamore@288 16 <Z> Z m(Z z1, Z z2) { return null; }
mcimadamore@288 17 void main(){
mcimadamore@288 18 A a = m(new A(), new B());
mcimadamore@288 19 }
mcimadamore@288 20 }
mcimadamore@288 21 }

mercurial