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

Mon, 26 Mar 2012 15:28:22 +0100

author
mcimadamore
date
Mon, 26 Mar 2012 15:28:22 +0100
changeset 1238
e28a06a3c5d9
parent 384
ed31953ca025
child 2525
2eb010b6cb22
permissions
-rw-r--r--

7151492: Encapsulate check logic into Attr.ResultInfo
Summary: ResultInfo class should be used to make attribution code transparent w.r.t. check logic being used
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 }

mercurial