vararg overload issue

If you have a function which takes in only a vararg and you only overload it, the input type is as expected just each of the overloads:

---@overload fun(param1: "test", param2: string)
---@overload fun(param1: "test2", param2: number)
---@overload fun(param1: "test3", param2: boolean, param3: number)
local function test(...)
end

test()

However, if you have a param before the vararg, the input type always becomes param, ...any:

---@overload fun(param1: "test", param2: string)
---@overload fun(param1: "test2", param2: number)
---@overload fun(param1: "test3", param2: boolean, param3: number)
local function test(param1, ...)
end

test()

Bắt đầu bằng cách tái hiện cả hai ví dụ Lua có chú thích trong issue và so sánh các signature được suy luận cho hai dạng vararg. Truy vết các điểm vào xử lý overload và vararg, sau đó xác minh rằng trường hợp có tham số trước vararg giữ nguyên các kiểu tham số riêng của overload thay vì gộp chúng thành ...any.