Warning is only generated for the first vararg parameter

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Type Checking

Expected Behaviour

Warning is generated for each argument with mismatched type for ---@vararg type and '---@param ... type' annotations.

Actual Behaviour

Warning generated only for the first passed argument.

Reproduction steps

1. Paste following lua code into VSCode

---@param ... number
function Test(...) end
Test(1) -- OK, no warning
Test("1") -- OK, warning in place
Test(1, 2, 3) -- OK, no warnings
Test("1", "2", "3") -- There is only warning for "1" but no warning for "2" and "3". I.e. warning is only generated for the first argument
Test(1, "2", "3") -- still no warnings for "2" and "3".

Additional Notes

I am observing the same behavior for legacy ---@varargs

Log File

No response

在 Visual Studio Code 扩展中复现这些示例，比较常规的 ---@param ... number 与旧版的 ---@varargs。跟踪可变参数调用的类型检查路径，并验证每个不匹配的参数都会产生警告，包括两种注释形式中的后续参数。