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

Reproduziere den Bericht mit der bereitgestellten .luarc.json und dem Lua-Snippet und überprüfe die drei Zuweisungsfälle, die die Annotation a[] betreffen. Verfolge den für assign-type-mismatch-Diagnosen verantwortlichen Type-Checking-Pfad und vergleiche Klassenzuweisungen mit der bereits diagnostizierten String-Zuweisung und dem Array-Literal-Element. Als erledigt gilt die Aufgabe, wenn fehlerhafte Klassenzuweisungen an das Array diagnostiziert werden, ohne die bestehenden Diagnosen zu ändern.