LuaLS / LuaLS/lua-language-server
Fields of a generic class can't pass the generic to another generic class
未关闭
还没有人认领这个 Issue。
- 主要语言
- Lua
- 星标
- 4.4k
- 派生
- 442
- PR 合并指标
- 30 天内没有已合并 PR
描述
How are you using the lua-language-server?
NeoVim
Which OS are you using?
Linux
What is the issue affecting?
Type Checking
Expected Behaviour
local works = f.a -- type is `number[]`
local doesnt = f.b -- type is `table<string, number>`
local also_doesnt = f.b["hello"] -- type is `number`
Actual Behaviour
local works = f.a -- type is `number[]`
local doesnt = f.b -- type is `table<string, <T>>`
local also_doesnt = f.b["hello"] -- type is `<V>`
Reproduction steps
---@class Foo<T>
---@field a T[]
---@field b table<string, T>
---@type Foo<number>
local f = {}
Additional Notes
No response
Log File
No response
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
调研方向
从 Foo 的 Lua 复现开始,检查使用 Foo 时类型检查如何解析字段 a 和 b。确认嵌套表字段和索引值保留 number,而不是未解析的泛型占位符;当报告的两个类型都符合预期行为时即表示完成。
由索引模型根据 Issue 内容生成。
评估
- 技术栈
- lua
- 领域
- devtools
- Issue 类型
- 缺陷
- 难度
- 3/5
- 预计耗时
- 1-2 天
- 活跃度
- 冷清
- 描述清晰度
- 基本清楚
- 新手友好度
- 65/100