test/tools/javac/lambda/8016177/T8016177a.java

changeset 0
959103a6100f
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/test/tools/javac/lambda/8016177/T8016177a.java	Wed Apr 27 01:34:52 2016 +0800
     1.3 @@ -0,0 +1,45 @@
     1.4 +/*
     1.5 + * @test /nodynamiccopyright/
     1.6 + * @bug 8016177 8016178
     1.7 + * @summary structural most specific and stuckness
     1.8 + * @compile/fail/ref=T8016177a.out -XDrawDiagnostics T8016177a.java
     1.9 + */
    1.10 +import java.util.List;
    1.11 +
    1.12 +class T8016177a {
    1.13 +
    1.14 +    interface ToIntFunction<X> {
    1.15 +        int m(X x);
    1.16 +    }
    1.17 +
    1.18 +    interface Function<X, Y> {
    1.19 +        Y m(X x);
    1.20 +    }
    1.21 +
    1.22 +    <T,R> void m1(List<T> s, Function<T,R> f) { }
    1.23 +    <T,R> void m1(List<T> s, ToIntFunction<T> f) { }
    1.24 +
    1.25 +    <T,R> List<R> m2(List<T> s, Function<T,R> f) { return null; }
    1.26 +    <T,R> List<R> m2(List<T> s, ToIntFunction<T> f) { return null; }
    1.27 +
    1.28 +    <T,R> List<T> m3(List<T> s, Function<T,R> f) { return null; }
    1.29 +    <T,R> List<R> m3(List<T> s, ToIntFunction<T> f) { return null; }
    1.30 +
    1.31 +    <T,R> List<T> m4(List<T> s, Function<T,R> f) { return null; }
    1.32 +    <T,R> List<T> m4(List<T> s, ToIntFunction<T> f) { return null; }
    1.33 +
    1.34 +    <T,R> List<R> m5(List<T> s, Function<T,R> f) { return null; }
    1.35 +    <T,R> List<T> m5(List<T> s, ToIntFunction<T> f) { return null; }
    1.36 +
    1.37 +    <T extends R,R> List<R> m6(List<T> s, Function<T,R> f) { return null; }
    1.38 +    <T extends R,R> List<T> m6(List<T> s, ToIntFunction<T> f) { return null; }
    1.39 +
    1.40 +    void test(List<String> ss) {
    1.41 +         m1(ss, s->s.length()); //ambiguous
    1.42 +         m2(ss, s->s.length()); //ambiguous
    1.43 +         m3(ss, s->s.length()); //ambiguous
    1.44 +         m4(ss, s->s.length()); //ambiguous
    1.45 +         m5(ss, s->s.length()); //ambiguous
    1.46 +         m6(ss, s->s.length()); //ambiguous
    1.47 +    }
    1.48 +}

mercurial