关于泛型函数

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Type Checking

Expected Behaviour

使用---@generic T:frame ---@return T
获取到的返回类型好像没办法继承到frame?
fun(T):T 这种写法好像不生效，有什么类似的写法吗

Actual Behaviour

fun里好像没有办法写泛型

Reproduction steps

---@generic T:frame
---@overload fun(name:T):fun(params:table):frame.T
local newframe = setmetatable({},{
__index = frame,
__call = function(self,name)
local class = rawget(self,name)
if class and getmetatable(class) then
return function(param)
return frame(class,param)
end
end
end,
})

---@type frame.button
local a = newframe 'button' {

}

Additional Notes

有什么格式支持这种返回值吗

Log File

No response

先从 issue 中的泛型注解和 setmetatable 复现开始，然后跟踪类型检查器如何处理 ---@generic、---@overload 和 fun 返回类型。完成的标准是：现有注解格式能够正确推断 frame.button，或者明确记录受支持的语法及其限制。