java-topology/test/langtools/tools/javac/lambda/MostSpecific31.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

21 lines
544 B
Java

/*
* @test /nodynamiccopyright/
* @bug 8144767
* @summary Correct most-specific test when wildcards appear in functional interface type
* @compile/fail/ref=MostSpecific31.out -XDrawDiagnostics MostSpecific31.java
*/
class MostSpecific31 {
interface Pred<T> { boolean test(T arg); }
interface Fun<T,R> { R apply(T arg); }
static void m1(Pred<? super Number> f) {}
static void m1(Fun<Integer, Boolean> f) {}
static boolean foo(Object arg) { return false; }
void test() {
m1(MostSpecific31::foo);
}
}