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)

Reproduziere die Diagnose mit den im Issue gezeigten Deklarationen generic Map, NumberMap: Map und map:Find(1). Beginne damit, die Propagierung von Generic-Class-Typen im Lua language server nachzuverfolgen und zu untersuchen, wie Map:Find seinen Schlüsselparameter auflöst. Als abgeschlossen gilt die Aufgabe, wenn die NumberMap-Spezialisierung beim Prüfen von Find-Aufrufen angewendet wird und die resultierende Diagnose dem konkreten Schlüsseltyp entspricht.