test/tools/javac/Diagnostics/6722234/T6722234a.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=T6722234a_1.out -XDrawDiagnostics -XDdiags=disambiguateTvars T6722234a.java
     7  * @compile/fail/ref=T6722234a_2.out -XDrawDiagnostics -XDdiags=disambiguateTvars,where T6722234a.java
     8  */
    10 class T6722234a<T extends String> {
    11     <T extends Integer> void test(T t) {
    12         m(t);
    13     }
    14     void m(T t) {}
    15 }

mercurial