[quote=TiagoTC]Quer dizer então que quando se trata do retorno do método sobreescrito, este retorno pode ser de um tipo estendido do tipo da classe pai (retorno covariante) mas, com relação aos parâmetros, é necessário que os tipos sejam exatamente os da classe pai (não podem ser subtipos como no caso do retorno).
É isso?[/quote]
Exactamente. Caso contrário seria sobrecarga.