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[] 注解的三个赋值情况。跟踪负责 assign-type-mismatch 诊断的类型检查路径，并将类赋值与已经诊断出的 string 赋值和数组字面量元素进行比较。完成的标准是：在不改变现有诊断的情况下，对向数组进行的不匹配类赋值给出诊断。