1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
/*
* @test /nodynamiccopyright/
* @bug 8034223
* @summary Most-specific testing with inference variables in function parameter types
* @compile/fail/ref=MostSpecific13.out -XDrawDiagnostics MostSpecific13.java
*/
class MostSpecific13 {
interface UnaryOp<T> { T apply(T arg); }
interface IntegerToNumber { Number apply(Integer arg); }
<T> void m(UnaryOp<T> f) {}
void m(IntegerToNumber f) {}
void test() {
m((Integer i) -> i); // error
m(this::id); // error
}
Integer id(Integer arg) { return arg; }
}
|
