russell@unturf.com
0a580b313d
Authors: russell@unturf.com · brackishbert@gmail.com · foxhop.net · TimeHexOn.com Patches, unit tests, benchmarks, whitepaper, and outreach briefs. Public domain — no copyright claimed. Use freely.
21 lines
No EOL
553 B
Java
21 lines
No EOL
553 B
Java
/*
|
|
* @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; }
|
|
} |