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=T6722234b_1.out -XDrawDiagnostics -XDdiags=simpleNames T6722234b.java
7 * @compile/fail/ref=T6722234b_2.out -XDrawDiagnostics -XDdiags=simpleNames,where T6722234b.java
8 */
10 import java.util.*;
12 class T6722234b {
13 <T> void m(List<T> l1, List<T> l2) {}
15 void test(List<? extends T6722234b> list) {
16 m(list, list);
17 }
18 }