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 8003280
4 * @summary Add lambda tests
5 * check that diagnostics on nested erroneous deferred types are flushed
6 * @compile/fail/ref=BadMethodCall.out -XDrawDiagnostics BadMethodCall.java
7 */
8 import java.util.*;
10 class BadMethodCall {
11 <I> List<I> id(List<I> z) { return null; };
13 List<String> cons(String s, List<String> ls) { return null; }
15 void test(List<Object> lo) { Object t = cons(id(""),lo); }
16 }