test/tools/javac/lambda/EffectivelyFinal01.java

Fri, 22 Mar 2013 12:43:09 +0000

author
mcimadamore
date
Fri, 22 Mar 2013 12:43:09 +0000
changeset 1655
c6728c9addff
parent 0
959103a6100f
permissions
-rw-r--r--

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

aoqi@0 1 /*
aoqi@0 2 * @test /nodynamiccopyright/
aoqi@0 3 * @bug 8003280
aoqi@0 4 * @summary Add lambda tests
aoqi@0 5 * effectively final check fails on method parameter
aoqi@0 6 * @compile/fail/ref=EffectivelyFinal01.out -XDrawDiagnostics EffectivelyFinal01.java
aoqi@0 7 */
aoqi@0 8 class EffectivelyFinal01 {
aoqi@0 9
aoqi@0 10 interface SAM {
aoqi@0 11 Integer m(Integer i);
aoqi@0 12 }
aoqi@0 13
aoqi@0 14 void test(Integer nefPar) {
aoqi@0 15 SAM s = (Integer h) -> { Integer k = 0; return k + h + nefPar; };
aoqi@0 16 nefPar++; //non-effectively final
aoqi@0 17 }
aoqi@0 18 }

mercurial