`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

Reproduisez l'avertissement issu de l'extrait Lua dans l'extension Visual Studio Code, en vous concentrant sur le diagnostic assign-type-mismatch lorsqu'@overload est appliqué à une classe renvoyée par une fonction. Suivez le traitement de l'héritage @class et des surcharges, puis vérifiez que la reproduction n'émet plus l'avertissement invalide tout en préservant le comportement documenté du contournement table.