jdk8-mips64-public/langtools: test/tools/javac/lambda/TargetType24.java@5ddecb91d843

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  *  check case of nested method calls with lambda expression

     6  * @compile/fail/ref=TargetType24.out -XDrawDiagnostics TargetType24.java

     7  */

     9 class TargetType24 {

    11     interface F<A, B> {

    12         B f(A a);

    13     }

    15     interface FSub<A, B> extends F<A,B> { }

    17     static class Array<A> {

    18         boolean forAll(final F<A, Boolean> f) {

    19             return false;

    20         }

    22         String forAll(final FSub<A, String> f) {

    23             return "";

    24         }

    26         String forAll2(final FSub<A, String> f) {

    27             return "";

    28         }

    29     }

    31     void test(Array<String> as, final Array<Character> ac) {

    32         final boolean b1 = as.forAll(s -> ac.forAll(c -> false)); //ok

    33         final String s1 = as.forAll2(s -> ac.forAll2(c -> "")); //ok

    34         final boolean b2 = as.forAll(s -> ac.forAll(c -> "" )); //fail

    35         final String s2 = as.forAll2(s -> ac.forAll2(c -> false)); //fail

    36         final boolean b3 = as.forAll((F<String, Boolean>)s -> ac.forAll((F<Character, Boolean>)c -> "")); //fail

    37         final String s3 = as.forAll((FSub<String, String>)s -> ac.forAll((FSub<Character, String>)c -> false)); //fail

    38     }

    39 }

Mercurial > jdk8-mips64-public > langtools / file revision

test/tools/javac/lambda/TargetType24.java@5ddecb91d843

test/tools/javac/lambda/TargetType24.java