Я изучал полиморфизм из "Голова Первая Ява " и пришел к этой концепции. Может кто-нибудь объяснить это, пожалуйста, на примере?

Компилятор проверяет класс ссылочного типа, а не тип Object.

И что'Разница между типом ссылки и типом объекта?