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

Execute a reprodução em Lua na extensão do Visual Studio Code e inspecione o ponto de entrada do diagnóstico de verificação de tipos quanto à compatibilidade entre classes e arrays. Verifique se atribuir param1, retornar b e chamar testFunc(a) produzem diagnósticos, enquanto a comparação de classB continua coberta pelo comportamento existente.