Is there a way to specify type aliases for variadic arg functions

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

a should be fun(a: table, b: string, c: integer): boolean but instead it's fun(...: table): boolean

I've also tried but it didn't work

--- @alias Predicate1<A> fun(a: A): boolean
--- @alias Predicate2<A, B> fun(a: A, b: B): boolean
--- @alias Predicate3<A, B, C> fun(a: A, b: B, c: C): boolean
--- @alias Predicate4<A, B, C, D> fun(a: A, b: B, c: C, d: D): boolean

--- @alias Predicate<A, B, C, D>
--- | Predicate1<A>
--- | Predicate2<A, B>
--- | Predicate3<A, B, C>
--- | Predicate4<A, B, C, D>

提供された LuaLS の再現例から始め、推論された型を期待される可変長関数シグネチャと比較します。Predicate1–Predicate4 のエイリアス例を追跡して、ジェネリックおよび可変長エイリアスの推論における現在の制限を特定します。対応済みとは、サポートされている構文が必要なのか、それともより広範な推論の変更が必要なのかを明らかにすることです。