`assign-type-mismatch` warning when overloading a derived class

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Annotations, Type Checking, Diagnostics/Syntax Checking

Expected Behaviour

No warning generated.

Actual Behaviour

An assign-type-mismatch warning is thrown.

Reproduction steps

---@class Parent

---@return Parent
local function newParent() local o = {}; return setmetatable(o, o) end

---@class Object : Parent
---@overload fun(s: string) -- Or disable the diagnostic on this line
local o = newParent() -- Invalid warning here

function o:__call() end

Additional Notes

The overload workaround, mentioned in #1733 does not work in this use case. A function returns a type, from which a new class is created. When overloading this new class, an invalid warning is generated.

ℹ️ A workaround I've found is to make the class derive also from table:

- ---@class Parent
+ ---@class Parent : table

Log File

No response

Tái hiện cảnh báo từ đoạn mã Lua trong extension Visual Studio Code, tập trung vào chẩn đoán assign-type-mismatch khi @overload được áp dụng cho một lớp do một hàm trả về. Theo dõi cách xử lý kế thừa @class và overload, sau đó xác minh rằng bản tái hiện không còn phát ra cảnh báo không hợp lệ, đồng thời giữ nguyên hành vi workaround table được tài liệu hóa.