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 * effectively final check fails on method parameter
6 * @compile/fail/ref=EffectivelyFinal01.out -XDrawDiagnostics EffectivelyFinal01.java
7 */
8 class EffectivelyFinal01 {
10 interface SAM {
11 Integer m(Integer i);
12 }
14 void test(Integer nefPar) {
15 SAM s = (Integer h) -> { Integer k = 0; return k + h + nefPar; };
16 nefPar++; //non-effectively final
17 }
18 }