/*

 * @test /nodynamiccopyright/

 * @bug 4471667

 * @summary compiler allows overriding with different primitive return type

 * @author gafter

 *

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

 */

package PrimitiveVariant;

interface I {

    double m();

}

abstract class J {

    int m() { return 2; }

}

class Main extends J implements I {

    public short m() { return 1; }

}