jdk8-mips64-public/langtools: test/tools/javac/lambda/TargetType60.java@4ff468de829d

8007462: Fix provisional applicability for method references
Summary: Add speculative arity-based check to rule out potential candidates when stuck reference is passed to method
Reviewed-by: jjg

     1 /*

     2  * @test /nodynamiccopyright/

     3  * @bug 8007462

     4  * @summary Fix provisional applicability for method references

     5  * @compile/fail/ref=TargetType60.out -XDrawDiagnostics TargetType60.java

     6  */

     7 class TargetType60 {

     9     interface Sam0 {

    10         void m();

    11     }

    13     interface Sam1<X> {

    14         void m(X x);

    15     }

    17     interface Sam2<X,Y> {

    18         void m(X x, Y y);

    19     }

    21     void m0() { }

    22     void m1(String s) { }

    23     void m2(String s1, String s2) { }

    25     void m01() { }

    26     void m01(String s) { }

    28     void m012() { }

    29     void m012(String s) { }

    30     void m012(String s1, String s2) { }

    32     static String g(Sam0 s) { return null; }

    33     static <U> U g(Sam1<U> s) { return null; }

    34     static <U> U g(Sam2<U,String> s) { return null; }

    36     void testBound() {

    37         String s1 = g(this::m0); //ok - resolves to g(Sam0)

    38         String s2 = g(this::m1); //ok - resolves to g(Sam1)

    39         String s3 = g(this::m2); //ok - resolves to g(Sam2)

    40         String s4 = g(this::m01);//ambiguous (g(Sam0), g(Sam1) apply)

    41         String s5 = g(this::m012);//ambiguous (g(Sam0), g(Sam1), g(Sam2) apply)

    42     }

    44     static void testUnbound() {

    45         TargetType60 s1 = g(TargetType60::m0); //ok - resolves to g(Sam1)

    46         TargetType60 s2 = g(TargetType60::m1); //ok - resolves to g(Sam2)

    47         TargetType60 s3 = g(TargetType60::m2); //none is applicable

    48         TargetType60 s4 = g(TargetType60::m01);//ambiguous (g(Sam1), g(Sam2) apply)

    49         TargetType60 s5 = g(TargetType60::m012);//ambiguous (g(Sam1), g(Sam2) apply)

    50     }

    51 }

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

test/tools/javac/lambda/TargetType60.java@4ff468de829d

test/tools/javac/lambda/TargetType60.java