When the subclass inherits the constructor of the parent class, generics do not work (the type of `self` cannot be used for annotation)

How are you using the lua-language-server?

Other

Which OS are you using?

Windows

What is the issue affecting?

Annotations, Type Checking

Expected Behaviour

---@class Vehicle
Vehicle = {}

---comment
---@generic T
---@param self `T`
---@param o? T
---@return T
function Vehicle:new(o)
  o = o or {}
  setmetatable(o, self)
  self.__index = self
  return o
end

---@class Plane: Vehicle
Plane = {}

setmetatable(Plane, { __index__ = Vehicle })

local obj = Plane.new()

The code prompt given when calling a constructor annotated with generic parameters that is inherited by a subclass is incorrect.

The prompt message should be

 function Plane.new(self: Plane, o?: Plane)

And the type of the obj variable in the code hint should be Plane instead of unknown

Actual Behaviour

---@param o? self
---@return self
function Vehicle:new(o)
  o = o or {}
  setmetatable(o, self)
  self.__index = self
  return o
end

self should be used to refer to the type of the method caller. And the self method should replace the generic method to annotate the type in this use case

Such type annotations should work, and code completion should show self as the caller's type

Reproduction steps

1. Copy example to editor
2. Call code prompt
3. The prompt result is not as expected

Additional Notes

No response

Log File

No response

Inizia riproducendo nell’editor l’esempio fornito di Vehicle e Plane e segui l’inferenza dei generics del costruttore e del tipo self per i metodi ereditati. Verifica che il prompt del codice mostri function Plane.new(self: Plane, o?: Plane) e che il tipo inferito di obj sia Plane invece di unknown.