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

Führe zunächst die Lua-Reproduktion im Issue aus und vergleiche die abgeleiteten Typen mit den Screenshots zu Expected Behaviour und Actual Behaviour. Verfolge anschließend die Einstiegspunkte des Language Servers für Annotationen und Typprüfung bei generischen Funktionen und Iterator-Rückgabewerten und überprüfe dann, ob die gemeldeten Typen dem erwarteten Ergebnis entsprechen.