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

提供された .luarc.json と Lua スニペットを使って報告内容を再現し、a[] アノテーションに関係する 3 つの代入ケースを確認します。assign-type-mismatch 診断の原因となっている型チェックの経路を追跡し、すでに診断されている string の代入および配列リテラルの要素と、クラスの代入を比較します。完了条件は、既存の診断を変更せずに、配列への型が一致しないクラスの代入が診断されることです。