模板类型推断问题

local A = {
a = 1,
aa = 2
}

---@class B
local B = {
}

---@generic T : B
---@param base? T
---@return T
function A:GetBB(base)
end

local x = A:GetBB()
local y = A:GetBB(B)

如上代码，期望倒数第二行x的类型推断为B，实际推断为T