LuaLS / LuaLS/lua-language-server

Invalid type diagnostic doesn't show when passing value from array directly to a function

未關閉
#1,643 3 則留言 1 個 reaction 已指派 0 人 在 GitHub 檢視

還沒有人認領這個 Issue。

enhancement
主要語言
Lua
星號
4.4k
分支
442
PR 合併指標
30 天內沒有已合併 PR

描述

### How are you using the lua-language-server?

Other

### Which OS are you using?

Linux

### What is the issue affecting?

Type Checking, Diagnostics/Syntax Checking

### Expected Behaviour

When using a value from an array as a parameter I expect type checking to work.

### Actual Behaviour

Type checking only works when I assign the value from the array to a temporary variable, not when passing it to a function directly.

### Reproduction steps

This doesn't show a warning:

```lua
---@param num integer
function receive(num)
end

---@type (integer?)[]
local values = {}

receive(values[1])
```

This works:

```lua
local value = values[1]
receive(value) -- Cannot assign `integer?` to parameter `integer`.
```

### Additional Notes

_No response_

### Log File

_No response_

貢獻指南

開啟貢獻指南

從這裡開始

  1. 先讀完整個 Issue,再讀專案的貢獻指南。
  2. 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
  3. Fork 儲存庫,在一個分支上完成修改。
  4. 送出 Pull Request,並在描述裡引用這個 Issue 編號。

研究方向

未指定原始檔案或測試。先重現這兩個 Lua 程式片段,並追蹤直接陣列索引引數與暫存變數的型別檢查診斷路徑;當直接呼叫回報相同的 `integer?` 到 `integer` 不相符時,即表示完成。

由索引模型根據 Issue 內容生成。

評估

技術堆疊
lua
領域
devtools
Issue 類型
缺陷
難度
3/5
預估耗時
1-2 天
活躍度
停滯
描述清晰度
描述清楚
新手友好度
45/100

把新 issue 寄到你的電子郵件信箱

精選適合新手參與的 GitHub issue 摘要。