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