Действие компилятора сводится к следующему:

Выберите один или несколько ответов:

При вызове метода компилятор устанавливает тип объекта, вызывающего метод

В пределах найденного типа объекта компилятора ищет нужный метод, и, найдя его, назначает вызов метода

Если вызванный метод нигде не найден, компилятор устанавливает тип объекта, вызывающего метод

Если метод в пределах типа объекта не найден, то компилятор устанавливает тип непосредственного прародителя и там ищет метод и т. д.