aoqi@0: /*
aoqi@0:  * @test /nodynamiccopyright/
aoqi@0:  * @bug 8034223
aoqi@0:  * @summary Most-specific testing with inference variables in function parameter types
aoqi@0:  * @compile/fail/ref=MostSpecific13.out -XDrawDiagnostics MostSpecific13.java
aoqi@0:  */
aoqi@0: class MostSpecific13 {
aoqi@0: 
aoqi@0:     interface UnaryOp<T> { T apply(T arg); }
aoqi@0:     interface IntegerToNumber { Number apply(Integer arg); }
aoqi@0: 
aoqi@0:     <T> void m(UnaryOp<T> f) {}
aoqi@0:     void m(IntegerToNumber f) {}
aoqi@0: 
aoqi@0:     void test() {
aoqi@0:         m((Integer i) -> i); // error
aoqi@0:         m(this::id); // error
aoqi@0:     }
aoqi@0: 
aoqi@0:     Integer id(Integer arg) { return arg; }
aoqi@0: }