Generic indexed access T[K] resolves to any

[sudo-tee]

I'm trying to type a generic state accessor where the return type depends on the key:

---@class Foo
---@field cost number
---@field name string

---@type Foo
local FooObj = {
  cost = 100,
  name = 'example',
}

---@generic K extends keyof Foo
---@param key K
---@return Foo[K]
function get(key)
  return FooObj[key]
end

local x = get('cost') -- hovering x should show: number, but shows: any

Is this a pattern supported by emmy lua, or am I missing feature that would allow me to do something like this ?

Thanks a lor for your help

[CppCXY]

---@class Foo1
---@field cost number
---@field name string

---@type Foo1
local FooObj = {
  cost = 100,
  name = 'example',
}

---@generic K extends keyof Foo1
---@param key K
---@return std.RawGet<Foo1, K>
function get(key)
  return FooObj[key]
end

The handling for the Foo[K] syntax has not been implemented yet.

[sudo-tee]

Thanks seem to work great as an alternative for the moment.