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

Reproduziere das Diagnoseproblem im bereitgestellten Lua-Beispiel und beginne dabei mit der Behandlung von Enum-Schlüsseln im Type-Checking-Pfad des Language Servers. Vergleiche den Zugriff über building_id.ANY mit dem Zugriff über -1 und nutze die im Issue verlinkte Diskussion als Kontext; abgeschlossen ist die Aufgabe, wenn beide Formen den Tabellenwert als { name: string } statt als unknown auflösen.