Can not infer basic assignments in nested loop.

還沒有人認領這個 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)
```

先重現 issue 中的巢狀迴圈範例，並閱讀 discussion 2471 以了解現有分析。追蹤 language server 如何透過迴圈中的指派推斷 y。當所示指派能保留推斷出的 integer 型別，而不需要重複的型別註記時，即視為完成。

由索引模型根據 Issue 內容生成。