False-positive type error: `vim.cmd` callable table flagged as "table cannot match fun(...)"
還沒有人認領這個 Issue。
評估
研究方向
首先，在 Neovim Lua 緩衝區中使用 pcall(vim.cmd, "redrawtabline") 重現該診斷，然後追蹤具有 __call 中繼方法的可呼叫表格之 LuaLS 診斷與型別推論。完成的標準是：在需要函式值的地方接受可呼叫表格，同時不隱藏真正的型別錯誤，且給出的重現不再產生診斷。
由索引模型根據 Issue 內容生成。
描述
How are you using the lua-language-server?
NeoVim
Which OS are you using?
Linux
What is the issue affecting?
Diagnostics/Syntax Checking
Expected Behaviour
lua-language-server should recognize callable tables (with a __call metamethod) as valid function values. Passing Neovim’s vim.cmd to pcall should not raise a type error.
Actual Behaviour
lua-language-server reports a false-positive type error when vim.cmd (a callable table in Neovim) is passed to pcall:
Cannot assign table to parameter fun(...):...unknown
Type table cannot match fun(...):...unknown
Reproduction steps
-
In Neovim, open a Lua buffer (e.g.,
:new | set ft=lua). -
Insert the following code:
-- Works at runtime, but LuaLS flags the next line: pcall(vim.cmd, "redrawtabline") -- Diagnostic shown by LuaLS: -- Cannot assign `table` to parameter `fun(...):...unknown` -
Observe the diagnostic from lua-language-server.
-
Execute the code in Neovim (e.g.,
:luafile %) to confirm it runs without runtime errors.
Additional Notes
-
vim.cmdis a callable table provided by Neovim (implemented via__callmetamethod). Direct calls likevim.cmd("redrawtabline")work at runtime. The false-positive only appears when passingvim.cmdas a function value (e.g., topcall). -
Workarounds:
-- Wrap in a function pcall(function() vim.cmd("redrawtabline") end) -- or use the typed API pcall(vim.api.nvim_cmd, { cmd = "redrawtabline" }, {}) -
Please treat callable tables as functions for the purpose of type checking / inference.
- 主要語言
- 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
-
Zenmap Crash未關閉Zenmap
難度 2/5 1-3 小時 新手友好度 68/100
維護者通常 2 天內回覆
-
難度 2/5 1-3 小時 新手友好度 78/100
solana-foundation/pay-kit#341 ·
維護者通常 1 天內回覆
-
難度 1/5 1 小時以內 新手友好度 88/100
維護者通常 1 天內回覆
-
難度 2/5 1-3 小時 新手友好度 88/100
-
bug
難度 2/5 1-3 小時 新手友好度 82/100