LuaLS / LuaLS/lua-language-server
Inference failure when conditionally swapping variable?
未关闭
还没有人认领这个 Issue。
- 主要语言
- Lua
- 星标
- 4.4k
- 派生
- 442
- PR 合并指标
- 30 天内没有已合并 PR
描述
Is the following expected? Why does inference fail at all?
local a, b = 5, 8
if a < b then
b, a = a, b
-- ^ Unknown: cannot infer type.
end
print("(" .. a .. ", " .. b .. ")")
贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
调研方向
首先复现 issue 中的条件多重赋值示例，并检查 b, a = a, b 的推断路径。跟踪为什么重新赋值会产生未知类型诊断，然后验证该代码片段不再报告此诊断，同时保留 a 和 b 的推断类型。
由索引模型根据 Issue 内容生成。
评估
- 技术栈
- lua
- 领域
- devtools
- Issue 类型
- 缺陷
- 难度
- 3/5
- 预计耗时
- 1-2 天
- 活跃度
- 冷清
- 描述清晰度
- 基本清楚
- 新手友好度
- 55/100