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

Offen

#3,443 erstellt am 31.7.2026 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 4/5
Geschätzter Aufwand: 3-5 Tage
Anfängerfreundlichkeit: 48/100

Issue-Typ: Bug
Klarheit: Größtenteils klar
Aktivitätsstatus: Ruhig
Tech-Stack: lua
Bereich: devtools

Rechercherichtung

Reproduzieren Sie das Problem in NeoVim mit dem im Bericht gezeigten Tabellenkonstruktor GenericSuper und der Vererbung Specific : GenericSuper. Vergleichen Sie die Hover-Ergebnisse für die Form des Tabellenkonstruktors und die äquivalente @field-Form; als abgeschlossen gilt die Aufgabe, wenn t.value im geerbten Tabellenkonstruktor-Fall als string inferiert wird.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

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

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

Actual Behaviour

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

Reproduction steps

---@class GenericSuper<T> : { value: T }

---@class Specific : GenericSuper<string>

---@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:

---@class GenericSuper<T>
---@field value T

---@class Specific : GenericSuper<string>

---@type Specific
local t

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

Log File

No response

Vorherrschende Sprache: Lua
Sterne: 4.4k
Forks: 442
Ø Merge: 8 T. 9 Std.
Gemergte PRs (30 T.): 1

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus LuaLS/lua-language-server

[love-api] love.Data:clone() -> love.Data Offen

enhancement

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 62/100

LuaLS/lua-language-server#1776 · Erstellt am 21.12.2022
泛型for迭代器的类型推导漏掉了带__call的类 Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 65/100

LuaLS/lua-language-server#3463 · 5 Kommentare · Erstellt am 19.9.2026
Type checking for functions as argument? Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 55/100

LuaLS/lua-language-server#3461 · Erstellt am 06.9.2026
Indentation when formatting off for values inside square brackets Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100

LuaLS/lua-language-server#3460 · 1 Kommentar · 1 Reaktion · Erstellt am 02.9.2026
Using LuaJIT's nil-coalescing extension does not narrow the type correctly Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100

LuaLS/lua-language-server#3459 · 1 Reaktion · Erstellt am 31.8.2026

Alle Issues in LuaLS/lua-language-server