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