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

Inizia eseguendo la riproduzione in Lua presente nell’issue e confronta i tipi dedotti con gli screenshot Expected Behaviour e Actual Behaviour. Traccia quindi i punti di ingresso del language server per l’annotazione e il controllo dei tipi delle funzioni generiche e dei valori restituiti dagli iteratori, poi verifica che i tipi segnalati corrispondano al risultato previsto.