LuaLS / LuaLS/lua-language-server

Inheriting from a generic class, which uses an annotated table definition causes fields to get lost

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

還沒有人認領這個 Issue。

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

描述

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

NeoVim

### Which OS are you using?

Windows

### What is the issue affecting?

Annotations, Type Checking

### Expected Behaviour

```lua
--- (field) Specific.value: string
hover(t.value)
```

### Actual Behaviour

```lua
--- (field) Specific.value: unknown
hover(t.value)
```

### Reproduction steps

```lua
---@class GenericSuper : { value: T }

---@class Specific : GenericSuper

---@type Specific
local t

hover(t.value)
```
Then hover on `t.value`

### Additional Notes

Interestingly this seems to only affect inheriting from table constructor. When converting it into a field, it works as expected:
```lua
---@class GenericSuper
---@field value T

---@class Specific : GenericSuper

---@type Specific
local t

--- (field) Specific.value: string
hover(t.value)
```

### Log File

_No response_

貢獻指南

開啟貢獻指南

從這裡開始

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

研究方向

在 NeoVim 中使用報告中所示的表格建構子 GenericSuper 和繼承 Specific : GenericSuper 重現此問題。比較表格建構子形式和等效的 @field 形式的懸停結果;當在繼承的表格建構子情況下將 t.value 推斷為 string 時,即表示完成。

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

評估

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

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

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