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

Tái hiện vấn đề diagnostics trong ví dụ Lua được cung cấp, bắt đầu với việc xử lý các khóa enum trong đường dẫn kiểm tra kiểu của language server. So sánh việc truy cập thông qua building_id.ANY với việc truy cập thông qua -1, và sử dụng phần thảo luận được liên kết trong issue làm ngữ cảnh; được xem là hoàn thành khi cả hai dạng đều phân giải giá trị bảng thành { name: string } thay vì unknown.