1/*
2 * @test    /nodynamiccopyright/
3 * @bug     4720356
4 * @summary compiler fails to check cross-package overriding
5 * @author  gafter
6 *
7 * @compile/fail/ref=T4720356a.out -XDrawDiagnostics  T4720356a.java T4720356b.java
8 */
9
10package p1;
11public class T4720356a {
12    void m() {}
13}
14class T4720356c extends p2.T4720356b {
15    // conflicting return type, even though a.m() not inherited
16    public int m() { return 1; }
17}
18