False negative: Warnings missing for table length mismatch

[mamekoro]

How are you using the lua-language-server?

NeoVim

Which OS are you using?

Linux

What is the issue affecting?

Type Checking, Diagnostics/Syntax Checking

Expected Behaviour

In the reproduction code below, f({0}) and f({0, 0, 0}) should issue warnings because they do not match the annotation [integer, integer], which requires a two-element table (tuple).

Actual Behaviour

There are no warnings issued for tables that have an invalid length.

I can see other warnings (e.g., for f("string")), so Neovim and other diagnostics are working correctly.

Reproduction steps

Open a text editor with lua-ls enabled and copy/paste this code.

---@alias Cursor [integer, integer]

---@param c Cursor
local function f(c) end

f("string")

f({ 0 })
f({ 0, 0, 0 })

Additional Notes

I tested with lua-language-server 3.9.1 and 3.13.2 and both have this problem.

Log File

I checked ~/.local/state/nvim/lsp.log since :LspInfo indicates it is the log file, but it was empty.

[d-enk]

another case

---@alias Cursor [integer, integer]

---@param c Cursor
local function f(c) end

---@type [integer, string]
local c = { 1, "" }

f(c) -- no warn

[tomlau10]

another case

---@alias Cursor [integer, integer]

---@param c Cursor
local function f(c) end

---@type [integer, string]
local c = { 1, "" }

f(c) -- no warn

by using "type.weakUnionCheck": false in config, this can generate warning 🤔

Cannot assign `[integer, string]` to parameter `Cursor`.
- `[integer, string]` cannot match `Cursor`
- The type of field `[2]` is `string`, which cannot match `integer`
- `string` cannot match `integer`
- Type `string` cannot match `integer`Lua Diagnostics.(param-type-mismatch)