Уровень доступа при переопределении метода может быть только таким же или более широким.
Тип возвращаемого значения может быть таким же, как в базовом классе, или ковариантным (подклассом) для ссылочных типов. Примитивные типы требуют точного совпадения.
Пример ковариантного возврата:
java