/* | |
* @test /nodynamiccopyright/ | |
* @bug 8144767 | |
* @summary Correct most-specific test when wildcards appear in functional interface type | |
* @compile/fail/ref=MostSpecific31.out -XDrawDiagnostics MostSpecific31.java | |
*/ | |
class MostSpecific31 { | |
interface Pred<T> { boolean test(T arg); } | |
interface Fun<T,R> { R apply(T arg); } | |
static void m1(Pred<? super Number> f) {} | |
static void m1(Fun<Integer, Boolean> f) {} | |
static boolean foo(Object arg) { return false; } | |
void test() { | |
m1(MostSpecific31::foo); | |
} | |
} |