package p;

class A {
    A covariant() { return null; }
}

class B extends A {
    B covariant() { return null; }
}

class C {
    /**
     * @see A#covariant()
     * @see B#covariant()
     * @return A#covariant()
     */
    A covariant() { 
        return true ? new A().covariant() : new B().covariant();
    }
}