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

Reproduza o problema no NeoVim usando o construtor de tabela GenericSuper e a herança Specific : GenericSuper mostrados no relatório. Compare os resultados do hover para a forma do construtor de tabela e a forma equivalente @field; considera-se concluído quando t.value é inferido como string no caso do construtor de tabela herdado.