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

63 lines
1.5 KiB
Java

/*
* @test /nodynamiccopyright/
* @bug 8003280
* @summary Add lambda tests
* check correctness of structural most specific test routine
* @compile/fail/ref=MostSpecific03.out -XDrawDiagnostics MostSpecific03.java
*/
class Test {
interface IntMapper {
int map();
}
interface LongMapper {
long map();
}
void m(IntMapper... im) { }
void m(LongMapper... lm) { }
void m2(IntMapper im1, IntMapper... im) { }
void m2(LongMapper... lm) { }
void test1() {
m(); //ambiguous
m(()->1); //ok
m(()->1, ()->1); //ok
m(()->1, ()->1, ()->1); //ok
}
void test2() {
m(null, null); //ambiguous
m(()->1, null); //ambiguous
m(null, ()->1); //ambiguous
m(()->1L, null); //ok
m(null, ()->1L); //ok
}
void test3() {
m2(); //ok
m2(()->1); //ambiguous
m2(()->1, ()->1); //ok
m2(()->1, ()->1, ()->1); //ok
}
void test4() {
m2(null, null, null); //ambiguous
m2(()->1, null, null); //ambiguous
m2(null, ()->1, null); //ambiguous
m2(null, null, ()->1); //ambiguous
m2(()->1, ()->1, null); //ambiguous
m2(null, ()->1, ()->1); //ambiguous
m2(()->1, null, ()->1); //ambiguous
m2(()->1L, null, null); //ok
m2(null, ()->1L, null); //ok
m2(null, null, ()->1L); //ok
m2(()->1L, ()->1L, null); //ok
m2(null, ()->1L, ()->1L); //ok
m2(()->1L, null, ()->1L); //ok
}
}