Generic Class: a method does not catch the type

---@class Map<T>
Map = {}

---@param key T
---@return any?
function Map:Find(key) end

---@param key T
---@return boolean
function Map:Contains(key) end

---@param key T
function Map:Erase(key) end

function Map:Clear() end


---@class NumberMap: Map<number>
NumberMap = {}

---@return NumberMap
function NumberMap() end

local map = NumberMap()
map:Find(1)

使用 issue 中显示的 generic Map、NumberMap: Map 和 map:Find(1) 声明复现该诊断。首先跟踪 Lua language server 的 Generic-Class 类型传播，并检查 Map:Find 如何解析其键参数。当检查 Find 调用时应用了 NumberMap 特化，且所得诊断与具体键类型匹配时，即表示完成。