aoqi@0: /*
aoqi@0:  * @test /nodynamiccopyright/
aoqi@0:  * @bug 8016177 8016178
aoqi@0:  * @summary structural most specific and stuckness
aoqi@0:  * @compile/fail/ref=T8016177a.out -XDrawDiagnostics T8016177a.java
aoqi@0:  */
aoqi@0: import java.util.List;
aoqi@0: 
aoqi@0: class T8016177a {
aoqi@0: 
aoqi@0:     interface ToIntFunction<X> {
aoqi@0:         int m(X x);
aoqi@0:     }
aoqi@0: 
aoqi@0:     interface Function<X, Y> {
aoqi@0:         Y m(X x);
aoqi@0:     }
aoqi@0: 
aoqi@0:     <T,R> void m1(List<T> s, Function<T,R> f) { }
aoqi@0:     <T,R> void m1(List<T> s, ToIntFunction<T> f) { }
aoqi@0: 
aoqi@0:     <T,R> List<R> m2(List<T> s, Function<T,R> f) { return null; }
aoqi@0:     <T,R> List<R> m2(List<T> s, ToIntFunction<T> f) { return null; }
aoqi@0: 
aoqi@0:     <T,R> List<T> m3(List<T> s, Function<T,R> f) { return null; }
aoqi@0:     <T,R> List<R> m3(List<T> s, ToIntFunction<T> f) { return null; }
aoqi@0: 
aoqi@0:     <T,R> List<T> m4(List<T> s, Function<T,R> f) { return null; }
aoqi@0:     <T,R> List<T> m4(List<T> s, ToIntFunction<T> f) { return null; }
aoqi@0: 
aoqi@0:     <T,R> List<R> m5(List<T> s, Function<T,R> f) { return null; }
aoqi@0:     <T,R> List<T> m5(List<T> s, ToIntFunction<T> f) { return null; }
aoqi@0: 
aoqi@0:     <T extends R,R> List<R> m6(List<T> s, Function<T,R> f) { return null; }
aoqi@0:     <T extends R,R> List<T> m6(List<T> s, ToIntFunction<T> f) { return null; }
aoqi@0: 
aoqi@0:     void test(List<String> ss) {
aoqi@0:          m1(ss, s->s.length()); //ambiguous
aoqi@0:          m2(ss, s->s.length()); //ambiguous
aoqi@0:          m3(ss, s->s.length()); //ambiguous
aoqi@0:          m4(ss, s->s.length()); //ambiguous
aoqi@0:          m5(ss, s->s.length()); //ambiguous
aoqi@0:          m6(ss, s->s.length()); //ambiguous
aoqi@0:     }
aoqi@0: }