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

Bắt đầu với đoạn mã Lua trong báo cáo và tái hiện kết quả kiểm tra kiểu trong extension Visual Studio Code. Theo dõi cách các kiểu trả về generic được suy luận cho lanes.gen và xác minh kiểu đã suy luận của x. Được xem là hoàn tất khi ví dụ báo cáo x là một số thay vì <TResult...>.