¿Por qué los tipos de parámetros contravariantes en Java no están permitidos para anular?

Al reemplazar un método de una superclase, Java permite que el tipo de retorno sea covariante.

¿Por qué los tipos de parámetros contravariantes están en contraste?no Permitido cuando los métodos de anulación?