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

在 NeoVim 中使用报告中所示的表构造器 GenericSuper 和继承 Specific : GenericSuper 重现该问题。比较表构造器形式和等效的 @field 形式的悬停结果；当在继承的表构造器情况下将 t.value 推断为 string 时，即表示完成。