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

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

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.