[Logger]

Цитата:

Сообщение от S.Kuskov

Спасибо, belugin, акцентировал внимание на то что тип выводится всё-таки на этапе компиляции, а не в runtime. Т.е. проверки уровня компиляции будут! Не будет (пока) только проверок/подсказок уровня редактора. А если компилируются уже выведенные типы, то и перекрёстные ссылки должны работать. Перекрёстный ссылки же строятся по "байт коду" а не по тексту?

Это я понимаю. Тип в момент компиляции определяется по правой части.
но проблема в том что если там anyType как в случае работы с мапом, то тип неопределенный становится. И получается часть информации мы теряем по сравнению со случаем когда слева явно задали тип вместо Var.