Попытка применить условные инструкции для уточнения типа переменной называется сужением типа.