`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

Reproduziere die Warnung aus dem Lua-Snippet in der Visual Studio Code-Erweiterung und konzentriere dich auf die Diagnose assign-type-mismatch, wenn @overload auf eine von einer Funktion zurückgegebene Klasse angewendet wird. Verfolge die Verarbeitung der @class-Vererbung und von Overloads und überprüfe anschließend, dass die Reproduktion die ungültige Warnung nicht mehr ausgibt, während das dokumentierte table-Workaround-Verhalten erhalten bleibt.