LuaLS / LuaLS/lua-language-server

Function with generic variable return type loses typing after first return

未关闭
#2,599 0 条评论 1 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 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?

Linux

What is the issue affecting?

Type Checking

Expected Behaviour

ret2 in the example should be listed as string

Actual Behaviour

ret2 is listed as unknown

Reproduction steps
---@generic T
---@param arg T
---@return T ...
function GenericReturn(arg) end

local ret1, ret2 = GenericReturn("")
Additional Notes

Changing the return type to T|string correctly types the variable return but does not inherit the generic's typing.

Log File

No response

贡献指南

打开贡献指南

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

调研方向

未指定源文件或测试。首先复现 issue 中的 generic return 和 vararg 示例,然后跟踪 Lua language server 的 generic return-type inference 和 type-checking 测试。当 ret2 在不更改 annotation 的情况下被推断为 string,并且有一个覆盖该示例的 regression test 时,即视为完成。

由索引模型根据 Issue 内容生成。

评估

技术栈
lua
领域
devtools
Issue 类型
缺陷
难度
3/5
预计耗时
1-2 天
活跃度
停滞
描述清晰度
描述清楚
新手友好度
48/100

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。