/*

 * @test    /nodynamiccopyright/

 * @bug     4720356

 * @summary compiler fails to check cross-package overriding

 * @author  gafter

 *

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

 */

package p1;

public class T4720356a {

    void m() {}

}

class T4720356c extends p2.T4720356b {

    // conflicting return type, even though a.m() not inherited

    public int m() { return 1; }

}