Fri, 22 Mar 2013 12:43:09 +0000
8010303: Graph inference: missing incorporation step causes spurious inference error
Summary: Multiple equality constraints on inference vars are not used to generate new inference constraints
Reviewed-by: jjg
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 6758789
4 * @summary 6758789: Some method resolution diagnostic should be improved
5 * @author Maurizio Cimadamore
6 *
7 * @compile/fail/ref=T6758789b.out -Werror -XDrawDiagnostics -Xlint:unchecked T6758789b.java
8 */
10 class T6758789a {
11 class Foo<T> {}
13 <X> void m(Foo<X> foo) {}
15 void test() {
16 m(new Foo());
17 }
18 }