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 * 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 }