То ли я к концу рабочего дня чего-то не понимаю, то ли Блэкбокс

Прошу прощения за большую картинку, но так проще пояснить.



Что значит "охрана или проверяемый тип не переопределение типа переменной"? А чего же он тогда переопределение?! Или я что-то совсем не так делаю?