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 case of ambiguous method call with lambda whose body cannot
6 complete normally
7 * @compile/fail/ref=TargetType23.out -XDrawDiagnostics TargetType23.java
8 */
10 class TargetType23 {
12 interface Sam0 {
13 void m();
14 }
16 interface Sam1 {
17 int m();
18 }
20 interface Sam2 {
21 String m();
22 }
24 interface Sam3<A> {
25 A m();
26 }
29 void call(Sam0 s) { }
30 void call(Sam1 s) { }
31 void call(Sam2 s) { }
32 <Z> void call(Sam3<Z> s) { }
34 void test() {
35 call(()-> { throw new RuntimeException(); }); //ambiguous - both call(Sam0), call(Sam2), call(Sam3) match
36 }
37 }