test/tools/javac/lambda/TargetType02.java

changeset 0
959103a6100f
child 2525
2eb010b6cb22
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/test/tools/javac/lambda/TargetType02.java	Wed Apr 27 01:34:52 2016 +0800
     1.3 @@ -0,0 +1,42 @@
     1.4 +/*
     1.5 + * @test /nodynamiccopyright/
     1.6 + * @bug 8003280 8029718
     1.7 + * @summary Add lambda tests
     1.8 + *  check overload resolution and target type inference w.r.t. generic methods
     1.9 + * Should always use lambda body structure to disambiguate overload resolution
    1.10 + * @author  Maurizio Cimadamore
    1.11 + * @compile/fail/ref=TargetType02.out -XDrawDiagnostics TargetType02.java
    1.12 + */
    1.13 +
    1.14 +public class TargetType02 {
    1.15 +
    1.16 +    interface S1<X extends Number> {
    1.17 +        X m(Integer x);
    1.18 +    }
    1.19 +
    1.20 +    interface S2<X extends String> {
    1.21 +        abstract X m(Integer x);
    1.22 +    }
    1.23 +
    1.24 +    static <Z extends Number> void call1(S1<Z> s) { }
    1.25 +
    1.26 +    static <Z extends String> void call2(S2<Z> s) { }
    1.27 +
    1.28 +    static <Z extends Number> void call3(S1<Z> s) { }
    1.29 +    static <Z extends String> void call3(S2<Z> s) { }
    1.30 +
    1.31 +    static <Z extends Number> Z call4(S1<Z> s) { return null; }
    1.32 +    static <Z extends String> Z call4(S2<Z> s) { return null; }
    1.33 +
    1.34 +    void test() {
    1.35 +        call1(i -> { toString(); return i; });
    1.36 +        call2(i -> { toString(); return i; });
    1.37 +        call3(i -> { toString(); return i; });
    1.38 +        call3(i -> {
    1.39 +            toString();
    1.40 +            return call4(j -> {
    1.41 +                return j;
    1.42 +            });
    1.43 +        });
    1.44 +    }
    1.45 +}

mercurial