@bano особенно вывод типов. Он не понимает, что одно и то же имя может быть разных типов в результате переприсваивания / рантаймовой проверки на более строгий тип