Repository navigation
Fields of a generic class can't pass the generic to another generic class #3390
Description
How are you using the lua-language-server?
NeoVim
Which OS are you using?
Linux
What is the issue affecting?
Type Checking
Expected Behaviour
local works = f.a -- type is `number[]`
local doesnt = f.b -- type is `table<string, number>`
local also_doesnt = f.b["hello"] -- type is `number`Actual Behaviour
local works = f.a -- type is `number[]`
local doesnt = f.b -- type is `table<string, <T>>`
local also_doesnt = f.b["hello"] -- type is `<V>`Reproduction steps
---@class Foo<T>
---@field a T[]
---@field b table<string, T>
---@type Foo<number>
local f = {}Additional Notes
No response
Log File
No response
Activity
[-]Fields of generic classes cannot reference the class generic[/-][+]Fields of generic classes sometimes can't reference the class generic[/+][-]Fields of generic classes sometimes can't reference the class generic[/-][+]Fields of a generic class can't pass the generic to another generic class[/+]