Can not infer basic assignments in nested loop.

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?

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 型を保持すれば完了です。