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!

Commencez par l’exemple Lua Foo/Bar de l’issue et suivez la manière dont les annotations @return et les méthodes héritées sont interprétées. Le travail est considéré comme terminé lorsqu’un constructeur hérité par Bar infère son résultat comme Bar plutôt que Foo, avec une couverture du comportement démontré.