Wrong type for generic

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

MacOS

What is the issue affecting?

Type Checking

Expected Behaviour

---@class lanes.Lane<TResult...> : { [integer] : TResult... }

---Arg must be a fun!
---@generic TReturn..., TParams...
---@param func fun(...: TParams...): TReturn...
---@return fun(...: TParams...): lanes.Lane<TReturn...>
function lanes.gen(func) end


---@param a number
---@param b number
---@return number
local function add(a, b)
    return a + b
end

local test = lanes.gen(add)
local x = test(1, 2)[1]

that x show up as a number

Actual Behaviour

x is <TResult...>

Reproduction steps

Use the code above

Additional Notes

No response

Log File

No response

Inizia con lo snippet Lua nel report e riproduci il risultato del controllo dei tipi nell’estensione Visual Studio Code. Traccia come vengono inferiti i tipi restituiti generici per lanes.gen e verifica il tipo inferito di x. Il lavoro è completato quando l’esempio segnala x come un numero anziché <TResult...>.