Solucionado
Em
Animal animal = new Gato()O tipo da variável animal é Gato, pois houve uma conversão implícita entre classe base/ classe filha como visto na aula passada. Logo em
Gato gato = animalAmbos tipos são o mesmo, e essa linha nem se trataria de uma conversão, mas uma atribuição de duas variáveis com mesmo tipo, não?
Olá Igor, como vai?
Na verdade a variável é do tipo Animal. Por mais que estamos dizendo para o código que esse Animal será uma new Gato, o tipo dele continua sendo Animal.
Tanto que o próprio navegador mostra um erro sobre não ser possível converter implicitamente. Veja:
Espero ter ajudado. Qualquer dúvida estamos por aqui.
Abraços