Tue, 12 Mar 2013 16:02:43 +0000
8009545: Graph inference: dependencies between inference variables should be set during incorporation
Summary: Move all transitivity checks into the incorporation round
Reviewed-by: jjg
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 8003280
4 * @summary Add lambda tests
5 * case of cyclic type inference (lambda passed where inference var expected)
6 * @compile/fail/ref=TargetType26.out -XDrawDiagnostics TargetType26.java
7 */
9 class TargetType26 {
10 interface SAM {
11 void m();
12 }
14 <Z> void call(Z z) { }
16 { call(() -> { }); }
17 }