undefined doc param: `self`

[lewis6991]

---@class Base
local M = {}

--- @generic T : Base
--- @param self T
--- @return T
function M:new()
  return self
end

This is a new pattern introduced for class inheritance.

[CppCXY]

We donot need annotation for self

[lewis6991]

In this instance self is a subclass of Base.

This works correctly:

--- @generic T : Base
--- @param self T
--- @return T
function M.new(self)
  return self
end

--- @class Subclass: Base
local Subclass = {}

function Subclass:new(bufnr)
  self = Base.new(self, bufnr)
end

Only using : doesn't work.

[CppCXY]

We have special type self:

---@class Base
local base = {}

---@return self
function base:new()
end

[lewis6991]

Isn't that the same as:

---@class Base
local base = {}

---@return Base
function base:new()
end

In my instance, it needs to return a type that inherits Base.

[CppCXY]

no, self will auto instance from left type:

[lewis6991]

In that example you have not defined Subclass:new().

Our definition is:

function Subclass:new(bufnr)
  self = Base.new(self, bufnr)
  -- self needs to have type Subclass

  -- or likewise
  local sub = Base.new(self, bufnr)
 -- sub needs to be Subclass
end

[xuhuanzy]

估计想要返回一个继承了base的类定义吧，但现在是做不到的。最快的方式是加一个新标签@return_def，或者定义一个特殊的泛型，DefClass<要定义的类型，继承的类型1，继承的类型>
@CppCXY

[xuhuanzy]

按我的想法，我是想等泛型支持表达式后通过泛型体操实现，但估计还是要特殊处理，跟DefClass估计差不了多少

[lewis6991]

To clarify this already works:

---@generic T : vim.lsp.Capability
---@param self T
---@param bufnr integer
---@return T
function M.new(self, bufnr)
end

function Subclass:new()
  self = Capability.new(self, bufnr)
end

[xuhuanzy]

To clarify this already works:

---@Generic T : vim.lsp.Capability
---@param self T
---@param bufnr integer
---@return T
function M.new(self, bufnr)
end

function Subclass:new()
self = Capability.new(self, bufnr)
end

This should be incorrect, and the reason it works is due to the current issue with the resolution of self.

[taminomara]

Before switching to constructors, I used to annotate assignment to self as @class(constructor):

function Subclass:new(bufnr)
  --- @class(constructor) Subclass
  local self = Base.new(self, bufnr)

  ...
end

This is cumbersome, but might work as a temporary fix. Note that self has to be local, otherwise this will not work =(