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
- 分支
- 446
- 平均合併
- 8 天 9 小時
- 30 天內合併 PR
- 1
環境準備
- 提供 Dockerfile 或 Docker Compose 檔案
- 沒有 Pull Request 範本
- 閱讀貢獻指南
從這裡開始
- 先讀完整個 Issue,再讀專案的貢獻指南。
- 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
- Fork 儲存庫,在一個分支上完成修改。
- 送出 Pull Request,並在描述裡引用這個 Issue 編號。
LuaLS/lua-language-server 的其他 Issue
-
enhancement
難度 2/5 1-3 小時 新手友好度 62/100
LuaLS/lua-language-server#1776 ·
-
難度 4/5 3-5 天 新手友好度 35/100
LuaLS/lua-language-server#3470 ·
-
難度 3/5 1-2 天 新手友好度 68/100
LuaLS/lua-language-server#3469 ·
-
難度 3/5 1-2 天 新手友好度 68/100
LuaLS/lua-language-server#3468 ·
-
難度 3/5 1-2 天 新手友好度 65/100
LuaLS/lua-language-server#3463 · 5 則留言 ·
查看 LuaLS/lua-language-server 的全部 Issue
相似的 Issue
-
難度 1/5 1 小時以內 新手友好度 82/100
-
severity: low
難度 2/5 1-3 小時 新手友好度 70/100
luainkernel/lunatik#1853 ·
維護者通常 1 天內回覆
-
難度 2/5 1-3 小時 新手友好度 72/100
-
難度 2/5 1-3 小時 新手友好度 62/100
維護者通常 3 天內回覆
-
Crash in ReaderFooter:setTocMarkers when the footer is disabled可能已有人在做 關聯的 PR 仍在進行中或已合併。 未關閉
難度 2/5 1-3 小時 新手友好度 72/100
維護者通常 1 天內回覆