LuaLS / LuaLS/lua-language-server
Nested property type lost when accessed from reference
还没有人认领这个 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
### Expected Behaviour
``` ---@class A
local A = {}
---@class B
---@overload fun(): B
local B = {}
---@class C
---@overload fun(): C
local C = {}
A.property1 = B()
A.property1.property2 = C()
local refToB = A.property1
local refToC = refToB.property2
```
while the local `refToB` is correctly of type `B`, it no longer is aware of property2.

expected behavior would be that it is aware of the properties assigned to the instance.
### Actual Behaviour
presence of property is lost in the "instance" of object B (not definition).
### Reproduction steps
1. Go to '...'
2. Click '...'
3. See error '...'
### Additional Notes
_No response_
### Log File
_No response_
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
调研方向
从 issue 中的 Lua 类型检查示例开始,通过对 A.property1、refToB 和 refToC 的赋值复现缺失的属性信息。跟踪相关的类型检查行为,直到 refToB 保留 property2 且 refToC 解析为 C;issue 中未指明任何 repository 文件或测试。
由索引模型根据 Issue 内容生成。
评估
- 技术栈
- lua
- 领域
- devtools
- Issue 类型
- 缺陷
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 活跃度
- 停滞
- 描述清晰度
- 基本清楚
- 新手友好度
- 35/100