La segunda línea sólo va a funcionar si la referencia animal realmente está apuntando a un objeto de tipo Perro. Todos los perros son animales, por lo que no hay ningún problema por apuntar con una referencia tipo animal ha perro. Pero no todos los animales son perros. Si intentas transformar un animal a perro, y resulta que el animal era una vaca, las cosas no van a ir bien (Cast Exception).