что он также не гарантирует, что придёт левый тип, реализующий этот интерфейс

ни один метод не даст 100% защиту.

Даст. Если у метода параметр только такого типа, то другой тип не придёт - будет ошибка компиляции. Ну, кроме приведения типа к родительскому.

Всё тоже самое можно сказать и о другой части. А если я сделаю перегрузку для левого объекта тогда как?

Это намеренное вредительство, а мы его не рассматриваем, т.к. от него защиты в рамках языка никакой нет. Намеренно не сделать новую перегрузку при создании нового типа, хотя знаешь, что надо и где надо делать эти перегрузки - это вредительство. А вот забыть сделать такие перегрузки или не знать, что их надо делать - такое бывает.

Скорее будет вариант, когда тип устарел и его можно удалить, и теперь надо удалить также все перегрузки, работающие с этим типом. Но тут уже давно есть помощь - проект не скомпилируется при отсутствующем типе, если он где-то используется.