Diagnostics for class array

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

When a class is matched with its array it should produce a diagnostic error.

Actual Behaviour

No diagnostic error is produced when a class array is matched with a class.

Reproduction steps

1. Paste the following code:

---@class classA
local a

---@type classA[]
local b

---@param param1 classA[]
---@return classA
local function testFunc(param1)
    param1 = a
    return b
end

local result = testFunc(a)

2. Assigning param1, returning b and calling testFunc with a should all produce diagnostic errors, but no diagnostic error is produced.

Additional Notes

Another class, such as classB can be matched with classA[] without error.

Log File

No response

在 Visual Studio Code 扩展中运行 Lua 复现，并检查类型检查诊断入口点对类与数组兼容性的处理。验证赋值给 param1、返回 b 以及调用 testFunc(a) 各自都会产生诊断，同时 classB 比较仍由现有行为覆盖。