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 特化，且產生的診斷與具體索引鍵型別相符，即表示完成。