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)

Beginne damit, das verschachtelte Schleifenbeispiel aus dem Issue zu reproduzieren, und lies die Discussion 2471 für die bestehende Analyse. Verfolge, wie der Language Server y über die Zuweisungen innerhalb der Schleife hinweg ableitet. Als abgeschlossen gilt die Aufgabe, wenn die gezeigten Zuweisungen den abgeleiteten Integer-Typ beibehalten, ohne wiederholte Typannotationen zu erfordern.