Can not infer basic assignments in nested loop.

Personne n'a encore pris cette issue.

### Discussed in https://github.com/LuaLS/lua-language-server/discussions/2471

^{Originally posted by **Luke100000** January 8, 2024}
Why can it not infer the type here? How would I rewrite this to be type conform, without spamming type annotations?

```lua
local y = 0

for i = 1, 2 do
y = y + 1 -- here, y is inferred as an integer correctly

for j = 1, 2 do
y = y + 1 -- can not infer type
end

-- sometimes a bit more complexity is required to trigger the issue, so lets add another loop
for j = 1, 2 do
y = y + 1 -- can not infer type
end
end

print(y)
```

Commencez par reproduire l’exemple de boucles imbriquées de l’issue et lisez la discussion 2471 pour prendre connaissance de l’analyse existante. Suivez la manière dont le language server infère y au fil des affectations dans la boucle. Le travail est terminé lorsque les affectations montrées conservent le type integer inféré sans nécessiter d’annotations de type répétées.

Rédigé par le modèle d'indexation à partir du texte de l'issue.