Annotating returning 'self'?

[paul-reilly]

Hi, here's a description of my issue:

---@class Foo
Foo = {}

---@return Foo    --<-- I want to annotate this that it returns 'self' so it propagates to inherited types
function Foo.new() end

---@class Bar : Foo
Bar = {}

local b = Bar.new()  --<-- the definition of .new from Foo is used, which returns Foo
-- b is type Foo, not Bar

Is this possible at the moment, I haven't seen anything in the docs or from a search?

I see that I can:

---@type Foo
---@diagnostic disable-next-line: assign-type-mismatch
local b = Bar.new()

... and for removing the warning from the cast, I can make the change the return type of Foo.new() to any. If there's any kind of reflection available or in the pipeline to make the return type self or similar so it can be inherited then it would be better to keep the types intact.

Cheers.

[sumneko]

Not supported now, please open an issue about it.

[paul-reilly]

Ok, I will do thanks.