LuaLS / LuaLS/lua-language-server
Class generics produce unusable and wrong union types
还没有人认领这个 Issue。
- 主要语言
- Lua
- 星标
- 4.4k
- 派生
- 442
- PR 合并指标
- 30 天内没有已合并 PR
描述
### How are you using the lua-language-server?
Visual Studio Code Extension (sumneko.lua)
### Which OS are you using?
MacOS, Windows
### What is the issue affecting?
Completion
### Expected Behaviour
Methods `Peek,Push,Pop` have proper type hints
### Actual Behaviour
While types of `a, b, c` are correct the
type hints of methods are unusable with unnecessary union types.
**If `Push` is removed from superclass, then type hints go to normal without unions but still with `` in many places**
```lua
local _lua_setmetatable = setmetatable
Stack = {}
--- @generic T
--- @class Stack : {
--- Pop: (fun(self: Stack): T),
--- Peek: (fun(self: Stack): T),
--- Push: (fun(self: Stack, value: T): Stack),
--- }
--- @field protected _stack any[]
--- @field protected _count integer
Stack.__index = {}
--- Creates a new, empty stack.
--- @generic T
--- @return Stack
function Stack.New()
local this = {
_stack = {},
_count = 0,
}
return _lua_setmetatable(this, Stack)
end
local st = Stack.New() --[[@as Stack<{ num: integer }>]]
local a = st:Peek()
local b = st:Pop()
local c = st:Push({})
```
### Reproduction steps
Analyze specified code in VSCode with luals installed
### Additional Notes
_No response_
### Log File
_No response_
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
调研方向
通过在安装了 lua-language-server 的 VS Code 中分析 Lua 代码片段来复现该问题,重点关注 Stack.New 以及 Peek、Pop 和 Push 方法的补全提示。将 a、b 和 c 的推断类型与预期的非联合类型方法提示进行比较;当这些方法不再显示不可用或不必要的联合类型,也不再显示多余的泛型占位符时,即表示完成。
由索引模型根据 Issue 内容生成。
评估
- 技术栈
- lua
- 领域
- devtools
- Issue 类型
- 缺陷
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 活跃度
- 停滞
- 描述清晰度
- 基本清楚
- 新手友好度
- 35/100