Is there any way to achieve proper inference of variadic arguments using aliases?

[vaderkos]

--- @alias Predicate<A> fun(...: A): boolean


local pred = function() end

--[[@cast pred Predicate<string, integer, table>]]





pred('hello', 1, {})

[CppCXY]

Not supported currently.

[CppCXY]

now it should support like:

--- @alias Predicate<A...> fun(...: A...): boolean


---@type Predicate<string, integer, table>
local pred = function() end

pred('hello', 1, {})

[xuhuanzy]

I think it's more reasonable to learn the definition of TS.
I might reimplement the syntax
If @CppCXY holds an opposing opinion, then the issue will be closed, after all, the syntax has already been implemented.

--- @alias Predicate1<A> fun(...: A...): boolean

---@type Predicate1<[string, integer, table]>
local pred = function() end

pred('hello', 1, {})