generic in the loop

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Annotations, Type Checking

Expected Behaviour

Actual Behaviour

Reproduction steps

---@generic T
---@param t T[]
---@return fun(): { first: integer, second: T }
local function test_function(t)
    local ending = #t
    local begining = 1

    local j = begining

    return function()
        if ending < j then
            return nil
        end

        local i = t[j]

        j = j + 1

        if i then return { first = j - 1, second = i } end
    end
end

---@type integer[]
local test_table = {}

local test_result = test_function(test_table)()

local test1 = test_result.second

for itr in test_function(test_table) do
    local test2 = itr.first;
    local test3 = itr.second;
end

Additional Notes

No response

Log File

No response

Bắt đầu bằng cách chạy bản tái hiện bằng Lua trong issue và so sánh các kiểu được suy luận với ảnh chụp màn hình Expected Behaviour và Actual Behaviour. Truy vết các điểm vào của language server đối với việc chú thích và kiểm tra kiểu của các hàm generic và giá trị trả về của iterator, sau đó xác minh rằng các kiểu được báo cáo khớp với kết quả mong đợi.