Mon, 26 Mar 2012 15:28:22 +0100
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 }