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>

Bắt đầu với bản tái hiện LuaLS được cung cấp và so sánh kiểu được suy luận với chữ ký hàm variadic mong đợi. Truy vết các ví dụ alias Predicate1–Predicate4 để xác định các giới hạn hiện tại của việc suy luận alias generic và variadic; được xem là hoàn tất khi xác định được liệu có cần cú pháp được hỗ trợ hay một thay đổi rộng hơn đối với việc suy luận hay không.