LuaLS / LuaLS/lua-language-server
Generic attribute constraint doesn't work
还没有人认领这个 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?
Windows
What is the issue affecting?
Type Checking, Completion
Expected Behaviour
When using the @generic attribute on a method (---@generic T : ClassA) and I have a parameter as type T (---@param item T The item), when I hover over that item parameter I would expect it to list all fields in ClassA
Actual Behaviour
It doesn't list the constrained type's fields. I just see the hover tooltip say: (parameter) item: <T:ClassA>, but none of ClassA's fields are shown
Reproduction steps
Use this code:
---@class ClassA
---@field Name string
---@field Thing string
local ClassA = { Name = "name here", Thing = "thingy"}
---Adds an item
---@generic T: ClassA
---@param item T the Item
function ClassA:AddChild(item)
end
And hover over the item parameter on AddChild, and it won't show any of the fields of ClassA
Additional Notes
No response
Log File
No response
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
调研方向
先使用 ClassA/AddChild 示例重现该问题,并将鼠标悬停在 item 参数上。跟踪类型检查和补全所使用的泛型约束处理,然后验证悬停结果会为 T 显示 ClassA 的 Name 和 Thing 字段,并且仍会正确报告受约束的类型。
由索引模型根据 Issue 内容生成。
评估
- 技术栈
- lua
- 领域
- devtools
- Issue 类型
- 缺陷
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 活跃度
- 停滞
- 描述清晰度
- 基本清楚
- 新手友好度
- 45/100