Indexing a table by an enum's value

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Linux

What is the issue affecting?

Diagnostics/Syntax Checking

Expected Behaviour

Types defined with an enum as their key should be accessible via both the runtime enum itself and the value they represent.

Actual Behaviour

A type defined with an enum as its key cannot be accessed with the enum's value.

Reproduction steps

---@enum building_id
local building_id = {
    ANY = -1,
    ONE = 0,
    TWO = 1,
}

---@type { [building_id]: { name: string } }
local building_attributes = {}

local anyName = building_attributes[building_id.ANY].name // Typed as "string"
local anyName = building_attributes[-1].name // Typed as "unknown"

Additional Notes

Discussed in https://github.com/LuaLS/lua-language-server/discussions/2402

Log File

No response

Reproduza o problema de diagnósticos no exemplo de Lua fornecido, começando pelo tratamento das chaves de enum no caminho de verificação de tipos do language server. Compare o acesso por meio de building_id.ANY com o acesso por meio de -1 e use como contexto a discussão vinculada na issue; considera-se concluído quando ambas as formas resolvem o valor da tabela como { name: string }, em vez de unknown.