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

Beginne mit dem Lua-Snippet im Bericht und reproduziere das Ergebnis der Typprüfung in der Visual Studio Code-Erweiterung. Verfolge, wie generische Rückgabetypen für lanes.gen inferiert werden, und überprüfe den inferierten Typ von x. Erledigt bedeutet, dass das Beispiel x als Zahl statt als <TResult...> meldet.