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)

Reproduisez le diagnostic avec les déclarations generic Map, NumberMap: Map et map:Find(1) présentées dans l’issue. Commencez par suivre la propagation des types de Generic-Class du Lua language server et examinez comment Map:Find résout son paramètre de clé. C’est terminé lorsque la spécialisation de NumberMap est appliquée lors de la vérification des appels à Find et que le diagnostic obtenu correspond au type de clé concret.