Thu, 02 Aug 2012 18:22:41 +0100
7175911: Simplify error reporting API in Check.CheckContext interface
Summary: Make error messages generated during Check.checkType more uniform and more scalable
Reviewed-by: jjg, dlsmith
1 /**
2 * @test /nodynamiccopyright/
3 * @bug 6722234
4 * @summary javac diagnostics need better integration with the type-system
5 * @author mcimadamore
6 * @compile/fail/ref=T6722234d_1.out -XDrawDiagnostics -XDdiags=where T6722234d.java
7 * @compile/fail/ref=T6722234d_2.out -XDrawDiagnostics -XDdiags=where,simpleNames T6722234d.java
8 */
10 class T6722234d {
11 interface I1 {}
12 interface I2 {}
13 class A implements I1, I2 {}
14 class B implements I1, I2 {}
15 class Test {
16 <Z> Z m(Z z1, Z z2) { return null; }
17 void main(){
18 A a = m(new A(), new B());
19 }
20 }
21 }