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

Tái hiện báo cáo bằng cách sử dụng .luarc.json và đoạn mã Lua được cung cấp, kiểm tra ba trường hợp gán liên quan đến chú thích a[]. Theo dõi đường đi kiểm tra kiểu chịu trách nhiệm cho các chẩn đoán assign-type-mismatch và so sánh các phép gán class với phép gán string và phần tử của array literal đã được chẩn đoán. Hoàn thành nghĩa là các phép gán class không khớp vào array được chẩn đoán mà không thay đổi các chẩn đoán hiện có.