russell@unturf.com
0a580b313d
Authors: russell@unturf.com · brackishbert@gmail.com · foxhop.net · TimeHexOn.com Patches, unit tests, benchmarks, whitepaper, and outreach briefs. Public domain — no copyright claimed. Use freely.
45 lines
1.4 KiB
Java
45 lines
1.4 KiB
Java
/*
|
|
* @test /nodynamiccopyright/
|
|
* @bug 8016177 8016178
|
|
* @summary structural most specific and stuckness
|
|
* @compile/fail/ref=T8016177a.out -XDrawDiagnostics T8016177a.java
|
|
*/
|
|
import java.util.List;
|
|
|
|
class T8016177a {
|
|
|
|
interface ToIntFunction<X> {
|
|
int m(X x);
|
|
}
|
|
|
|
interface Function<X, Y> {
|
|
Y m(X x);
|
|
}
|
|
|
|
<T,R> void m1(List<T> s, Function<T,R> f) { }
|
|
<T,R> void m1(List<T> s, ToIntFunction<T> f) { }
|
|
|
|
<T,R> List<R> m2(List<T> s, Function<T,R> f) { return null; }
|
|
<T,R> List<R> m2(List<T> s, ToIntFunction<T> f) { return null; }
|
|
|
|
<T,R> List<T> m3(List<T> s, Function<T,R> f) { return null; }
|
|
<T,R> List<R> m3(List<T> s, ToIntFunction<T> f) { return null; }
|
|
|
|
<T,R> List<T> m4(List<T> s, Function<T,R> f) { return null; }
|
|
<T,R> List<T> m4(List<T> s, ToIntFunction<T> f) { return null; }
|
|
|
|
<T,R> List<R> m5(List<T> s, Function<T,R> f) { return null; }
|
|
<T,R> List<T> m5(List<T> s, ToIntFunction<T> f) { return null; }
|
|
|
|
<T extends R,R> List<R> m6(List<T> s, Function<T,R> f) { return null; }
|
|
<T extends R,R> List<T> m6(List<T> s, ToIntFunction<T> f) { return null; }
|
|
|
|
void test(List<String> ss) {
|
|
m1(ss, s->s.length()); //ambiguous
|
|
m2(ss, s->s.length()); //ambiguous
|
|
m3(ss, s->s.length()); //ambiguous
|
|
m4(ss, s->s.length()); //ambiguous
|
|
m5(ss, s->s.length()); //ambiguous
|
|
m6(ss, s->s.length()); //ambiguous
|
|
}
|
|
}
|