Java generics to enforce return type of abstract method

Question

I have the following situation :

abstract class X { abstract X someMethod (...) {...} }.

Now I want to constrain any implementation of X to

Answer 1

Yes. This is return type covariance.