LuaLS / LuaLS/lua-language-server

Incorrect field type calculation when field name in variable

未關閉
#2,891 1 則留言 0 個 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) v3.11.0

### Which OS are you using?

Linux

### What is the issue affecting?

Type Checking

### Reproduction steps

```lua
---@diagnostic disable: unused-local

---@class Class
local Class = { __type = "Class" }

local field = "some_string" -- field: string = "some_string"

do
local c = {} ---@type Class

-- OK
local f1 = c["some_string"] -- f1: unknown
local f2 = c[field] -- f2: unknown
end

function Class:f()
-- OK
local f1 = self["some_string"] -- f1: unknown

-- BUT
local f2 = self[field] -- f2: string = "Class"
end

do
-- OK
local f1 = Class["some_string"] -- f1: unknown

-- BUT
local f2 = Class[field] -- f2: string = "Class"
end

```

貢獻指南

開啟貢獻指南

從這裡開始

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

研究方向

先使用程式碼範例重現 Lua language server 中的型別檢查差異,比較字面值索引與透過 `field` 變數進行的索引。追蹤欄位型別推論的進入點,並為所示案例新增回歸測試;當以變數為基礎的索引不再回報 `Class`,而字面值索引回報 `unknown` 時,即表示完成。

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

評估

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

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

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