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

首先运行 issue 中的 Lua 复现，并将推断出的类型与 Expected Behaviour 和 Actual Behaviour 截图进行比较。跟踪 language server 对泛型函数和迭代器返回值进行注释和类型检查的入口点，然后验证报告的类型是否与预期结果一致。