package p;

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

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

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