Uther (./2357) :
Les IDE avancés sont généralement capable de connaître le type réel d'un variable déclarée implicitement pour les langages qui sont statiquement typé.

Oui, s'ils ont des indications. Si l'IDE n'a que le prototype de la fonction (sans indication de type), je ne vois pas trop comment il peut déterminer le type des variables (sauf peut-être en se basant le nom, en supposant par défaut que deux variables ayant le même nom ont le même type).