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

16 lines
525 B
Java

/* @test /nodynamiccopyright/
* @bug 7192246
* @summary check that abstract methods are compatible with inherited defaults
* @compile/fail/ref=Neg05.out -XDrawDiagnostics Neg05.java
*/
class Neg05 {
interface IA1 { default Number m() { return Neg05.m1(this); } }
interface IA2 extends IA1 { default Integer m() { return Neg05.m2(this); } }
interface IA3 extends IA2 { Number m(); } //error
static class C implements IA3{}
static int m1(IA1 a) { return 0; }
static int m2(IA2 b) { return 0; }
}