类型继承后子类调用父类方法应该返回子类型吧?以后会修改吗?

[xiangnanscu]

---@class Vehicle
local Vehicle = {}

---@param self Vehicle
---@return Vehicle
function Vehicle:drive()
  return self
end

---@class Car:Vehicle
local Car = {}

local x = Car:drive() -- 这里x是Vehicle类型, 但返回Car类型才更合理吧

如图: