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

22 lines
422 B
Java

/*
* @test /nodynamiccopyright/
* @bug 5007379
* @summary Compiler allows inheritance of multiple methods with unrelated return types
* @author gafter
*
* @compile/fail/ref=BadCovar.out -XDrawDiagnostics BadCovar.java
*/
package bad.covar;
import java.util.*;
interface A{
List<? extends A> f();
}
interface B{
List<? extends B> f();
}
abstract class C implements A, B {} // should give error