test/langtools/tools/javac/BadCovar.java
author phh
Sat, 30 Nov 2019 14:33:05 -0800
changeset 59330 5b96c12f909d
parent 47216 71c04702a3d5
permissions -rw-r--r--
8234541: C1 emits an empty message when it inlines successfully Summary: Use "inline" as the message when successfull Reviewed-by: thartmann, mdoerr Contributed-by: navy.xliu@gmail.com

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