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

Comienza reproduciendo el ejemplo proporcionado de Vehicle y Plane en el editor y sigue la inferencia de genéricos del constructor y del tipo self para los métodos heredados. Verifica que el prompt de código muestre function Plane.new(self: Plane, o?: Plane) y que el tipo inferido de obj sea Plane en lugar de unknown.