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