Generic Class: a method does not catch the type

Chưa có ai nhận issue này.

```lua
---@class Map
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
NumberMap = {}

---@return NumberMap
function NumberMap() end
```

```lua
local map = NumberMap()
map:Find(1)
```

Reproduce the diagnostic with the generic Map, NumberMap: Map, and map:Find(1) declarations shown in the issue. Start by tracing the Lua language server's generic-class type propagation and inspect how Map:Find resolves its key parameter. Done means the NumberMap specialization is applied when checking Find calls and the resulting diagnostic matches the concrete key type.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.