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 +}