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

Commencez par l’extrait Lua du rapport et reproduisez le résultat de la vérification des types dans l’extension Visual Studio Code. Suivez la manière dont les types de retour génériques sont inférés pour lanes.gen et vérifiez le type inféré de x. C’est terminé lorsque l’exemple signale que x est un nombre plutôt que <TResult...>.