FR: Allow 'self' return type to allow return type changing with inheritance

When annotating that one class has inherited from another, there is currently no way to annotate a function that returns it's current type that the current type should change when the class is inherited. Something along these lines, or something that accomplishes the same goal would be fantastic.

---@class Foo
Foo = {}

---@return self    --<-- 'self' refers to Foo so Foo.new() returns Foo
function Foo.new() end

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

local b = Bar.new() --<-- Bar.new() is inherited so the 'self' return type is now Bar
-- b should now be type Bar

Thanks!

Inizia con l’esempio Lua di Foo/Bar nell’issue e segui come vengono interpretate le annotazioni @return e i metodi ereditati. Il lavoro è completo quando un costruttore ereditato da Bar deduce il proprio risultato come Bar anziché Foo, con una copertura del comportamento mostrato.