java-topology/test/langtools/tools/javac/lambda/MostSpecific05.java
russell@unturf.com 0a580b313d undefect. CWE-407 — 63 sites patched across 27 ecosystems
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.
2026-03-26 17:11:57 -04:00

28 lines
817 B
Java

/*
* @test /nodynamiccopyright/
* @bug 8003280
* @summary Add lambda tests
* Structural most specific doesn't handle cases with wildcards in functional interfaces
* @compile/fail/ref=MostSpecific05.out -XDrawDiagnostics MostSpecific05.java
*/
public class MostSpecific05 {
interface ObjectConverter<T extends Object> {
T map(Object o);
}
interface NumberConverter<T extends Number> {
T map(Object o);
}
static class MyMapper<A extends Object, B extends Number> {
void map(ObjectConverter<? extends A> m) { }
void map(NumberConverter<? extends B> m) { }
}
public static void meth() {
MyMapper<Number, Double> mm = new MyMapper<Number, Double>();
mm.map(e->1.0); //ambiguous - implicit
mm.map((Object e)->1.0); //ok
}
}