java-topology/test/langtools/tools/javac/8167000/T8167000c.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
517 B
Java

/*
* @test /nodynamiccopyright/
* @bug 8167000
* @summary Refine handling of multiple maximally specific abstract methods
* @compile/fail/ref=T8167000c.out -XDrawDiagnostics T8167000c.java
*/
public class T8167000c<X extends Throwable> {
interface A {
Integer m() throws Throwable;
}
interface B<X extends Throwable> {
Object m() throws X;
}
interface E<T extends Throwable> extends A, B<T> { }
void test() {
E<X> ex = () -> { throw new Throwable(); };
}
}