Can not infer basic assignments in nested loop. #2494

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)