Open
Description
---@class A<T> : { typed_dummy: T }
---@field dummy number
---@type A<number>
local a
local b = a.typed_dummy -- ok
local c = a.dummy -- warning, undefined field
---@class A<T> : { typed_dummy: T }
---@field dummy number
---@type A<number>|A
local a
local b = a.typed_dummy -- ok
local c = a.dummy -- now ok too