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

Esegui la riproduzione Lua nell’estensione Visual Studio Code e analizza il punto di ingresso della diagnostica del controllo dei tipi per la compatibilità tra classi e array. Verifica che l’assegnazione di param1, la restituzione di b e la chiamata a testFunc(a) producano ciascuna una diagnostica, mentre il confronto di classB rimanga coperto dal comportamento esistente.