assign-type-mismatch not emitted when assigning a class to an array

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Linux

What is the issue affecting?

Type Checking

Expected Behaviour

---@class a
local a = {}

---@class b
local b = {}

---@type a[]
local c = {
    a,
    b, // assign-type-mismatch emitted here
}
c = "" // assign-type-mismatch emitted here
c = b // assign-type-mismatch emitted here
c = a // assign-type-mismatch emitted here

Actual Behaviour

---@class a
local a = {}

---@class b
local b = {}

---@type a[]
local c = {
    a,
    b, // assign-type-mismatch is correctly emitted here
}
c = "" // assign-type-mismatch is correctly emitted here
c = b // No assign-type-mismatch is emitted here.  I would expect it to be emitted here.
c = a // No assign-type-mismatch is emitted here.  I would expect it to be emitted here.

Reproduction steps

.luarc.json:

{
    "$schema": "https://raw.githubusercontent.com/LuaLS/vscode-lua/master/setting/schema.json",
    "runtime.version": "Lua 5.1"
}

Additional Notes

No response

Log File

No response

Reproduisez le rapport à l’aide du .luarc.json et de l’extrait Lua fournis, en vérifiant les trois cas d’affectation impliquant l’annotation a[]. Suivez le chemin de vérification des types responsable des diagnostics assign-type-mismatch et comparez les affectations de classes avec l’affectation de string et l’élément du littéral de tableau, qui font déjà l’objet d’un diagnostic. Le travail est terminé lorsque les affectations de classes incompatibles au tableau sont diagnostiquées sans modifier les diagnostics existants.