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

從報告中的 Lua 程式碼片段開始，在 Visual Studio Code 擴充功能中重現型別檢查結果。追蹤 lanes.gen 的泛型回傳型別是如何推斷的，並驗證 x 的推斷型別。完成標準是範例將 x 報告為數字，而不是 <TResult...>。