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)

Reproduce el diagnóstico con las declaraciones generic Map, NumberMap: Map y map:Find(1) mostradas en el issue. Empieza siguiendo la propagación de tipos de Generic-Class del Lua language server e inspecciona cómo Map:Find resuelve su parámetro de clave. Se considera terminado cuando se aplica la especialización de NumberMap al comprobar las llamadas a Find y el diagnóstico resultante coincide con el tipo de clave concreto.