8007464: Add graph inference support
Summary: Add support for more aggressive type-inference scheme
Reviewed-by: jjg
/**
* @test /nodynamiccopyright/
* @bug 7177306 8007464
* @summary Regression: unchecked method call does not erase return type
* @compile/fail/ref=T7177306e.out -source 7 -Xlint:-options -XDrawDiagnostics T7177306e.java
* @compile/fail T7177306e.java
*/
import java.util.List;
class T7177306e {
<Z, U extends List<Z>> void m(List<U> lu) { }
void test(List<List<?>> llw) {
m(llw);
}
}