Я понял, что инферинг типов происходит 2 путями - из деларации, из использования. Нормальная IDE подскажет тип, когда юзаешь js, groovy/ другой язык. Но в некоторых случаях всё же нужно декларировать типы . Лучшие языки с опциональным либо статическим типизированием
Представь себе, я никогда не пользовался такими подсказками, даже не понимаю какой в них смысл