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 recovery of speculative types is not attempted if receiver is erroneous
6 * @compile/fail/ref=BadRecovery.out -XDrawDiagnostics BadRecovery.java
7 */
8 class BadRecovery {
10 interface SAM1 {
11 void m(Object o);
12 }
14 void m(SAM1 m) { };
16 void test() {
17 m((receiver, t) -> { receiver.someMemberOfReceiver(()->{ Object x = f; }); });
18 }
19 }