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 の特殊化が適用され、結果の診断が具体的なキー型と一致すれば完了です。