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

Tái hiện vấn đề trong NeoVim bằng cách sử dụng hàm khởi tạo bảng GenericSuper và tính kế thừa Specific : GenericSuper được trình bày trong báo cáo. So sánh kết quả hover cho dạng hàm khởi tạo bảng và dạng @field tương đương; được xem là hoàn tất khi t.value được suy luận là string trong trường hợp hàm khởi tạo bảng được kế thừa.