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

首先在編輯器中重現提供的 Vehicle 和 Plane 範例，並追蹤繼承方法的建構函式泛型和 self 型別推斷。確認程式碼提示顯示 function Plane.new(self: Plane, o?: Plane)，而且 obj 的推斷型別是 Plane 而不是 unknown。