`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

Visual Studio Code拡張機能のLuaスニペットから警告を再現し、関数によって返されるクラスに@overloadを適用した場合のassign-type-mismatch診断に焦点を当てます。@classの継承とオーバーロードの処理を追跡し、その後、文書化されたtableのワークアラウンドの動作を維持しながら、再現で無効な警告が発生しなくなったことを確認します。