Index an enum-value table bug

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Type Checking

Expected Behaviour

expected the value type of mapping when index

Actual Behaviour

got an unknown

Reproduction steps

---@enum(key) AttrName
local o = {
    ['hp_max'] = true,
}
local map = {
    ['hp_max'] = 114514,
}
---@param t table<AttrName, number>
local function test(t)
    --[[
        Usage 1: correct
    ]]
    local a = 'hp_max'
    local b = t[a]  -- expected: number, got: number
    print(b)

    --[[
        Usage 2: incorrect
    ]]
    local c = t['hp_max'] -- expected: number, got: unknown
    print(c)

    --[[
        Usage 3: correct
    ]]
    local d = "hp_grow"
    local e = t[d] -- expected: unknown, got: unknown
    print(e)
end
test(map)

Additional Notes

No response

Log File

No response

Reproduisez le rapport dans l’extension LuaLS Visual Studio Code sous Windows à l’aide de l’extrait Lua fourni et inspectez le chemin de vérification des types pour l’indexation de tables avec des clés d’enum. Comparez les diagnostics pour les trois utilisations, en particulier l’index littéral 'hp_max'. La tâche est terminée lorsque les types signalés correspondent aux attentes de la reproduction.