Generic Class: a method does not catch the type
还没有人认领这个 Issue。
评估
调研方向
使用 issue 中显示的 generic Map、NumberMap: Map 和 map:Find(1) 声明复现该诊断。首先跟踪 Lua language server 的 Generic-Class 类型传播,并检查 Map:Find 如何解析其键参数。当检查 Find 调用时应用了 NumberMap 特化,且所得诊断与具体键类型匹配时,即表示完成。
由索引模型根据 Issue 内容生成。
描述
---@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)
- 主要语言
- Lua
- 星标
- 4.4k
- 派生
- 442
- 平均合并
- 8 天 9 小时
- 30 天内合并 PR
- 1
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
LuaLS/lua-language-server 的其他 Issue
-
enhancement
难度 2/5 1-3 小时 新手友好度 62/100
LuaLS/lua-language-server#1776 ·
-
难度 3/5 1-2 天 新手友好度 65/100
LuaLS/lua-language-server#3463 · 5 条评论 ·
-
难度 4/5 3-5 天 新手友好度 55/100
LuaLS/lua-language-server#3461 ·
-
难度 3/5 1-2 天 新手友好度 68/100
LuaLS/lua-language-server#3460 · 1 条评论 · 1 个 reaction ·
-
难度 3/5 1-2 天 新手友好度 68/100
LuaLS/lua-language-server#3459 · 1 个 reaction ·
查看 LuaLS/lua-language-server 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 75/100
-
bug
难度 2/5 1-3 小时 新手友好度 68/100
LandSandBoat/server#11579 ·
-
难度 2/5 1-3 小时 新手友好度 76/100
ArchiveTeam/sinavideo-grab#7 · 3 个 reaction ·
-
bug
难度 2/5 1-3 小时 新手友好度 78/100
mailcow/mailcow-dockerized#7480 ·
-
mapper bug
难度 2/5 1-3 小时 新手友好度 88/100