/*

 * @test    /nodynamiccopyright/

 * @bug     4041948 4022450

 * @summary javac previously allowed static methods to override non-static

 *          methods in some cases.

 * @author  turnidge

 *

 * @compile/fail/ref=StaticOverride.out -XDrawDiagnostics  StaticOverride.java

 */

interface I{

  int f();

}

class C {

    public static int f() {

        return 7;

    }

}

class StaticOverride extends C implements I { }