| /* | |
| * @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 |