Overload type narrowing based on number of arguments instead of argument-type

With the following code:

---@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("test", "string"); ---expected: good, actual: good
test("test2", 1); ---expected: good, actual: good
test("test3", true, 1); ---expected: good, actual: good

test("test", 1); ---expected: bad, actual: good
test("test2", "string"); ---expected: bad, actual: good

test("test", true, 2) ---expected: bad, actual: bad
test("test3", "string"); ---expected: bad, actual: bad
test("test3", "string", 1); ---expected: bad, actual: bad
test("test3", true); ---expected: bad, actual: bad

I get the following errors:

With these overloads I would of expected the type to be equivalent to this:

{
param1: "test"
param2: string
} | {
param1: "test2"
param2: number
} | {
param1: "test3"
param2: boolean
param3: number
}

However, it is actually equivalent to:

{
param1: "test" | "test2"
param2: string | number
} |
{
param1: "test3"
param2: boolean
param3: number
}

Bắt đầu bằng cách tái hiện ví dụ overload trong issue và lần theo đường đi kiểm tra kiểu của language server đối với các lời gọi hàm overloaded. Bản sửa hoàn tất khi các kiểu đối số thu hẹp các overload cũng như số lượng đối số, chấp nhận ba lời gọi hợp lệ và từ chối các lời gọi không khớp được hiển thị.