/*

 * @test /nodynamiccopyright/

 * @bug 4725668

 * @summary generics: reject implementation with incorrect return type

 * @author gafter

 *

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

 */

class SelfImplement {

    static abstract class A<T> {

        abstract void f(T t);

        public int f(Integer t) { return 3; }

    }

    static abstract class B extends A<Integer> {

        // error: A<Integer>.f(Integer) returning int can't implement

        //        A<Integer>.f(Integer) returning void.

    }

}