Почему контравариантные типы параметров в Java не разрешены для переопределения?

При переопределении метода суперкласса Java позволяет возвращаемому типу быть ковариантным.

Почему контравариантные типы параметров отличаютсяне разрешено при переопределении методов?