Something not okay with enum types

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?

Type Checking

Expected Behaviour

---@enum EnumAB
local e = {
	A = 0,
	B = 1,
}

---@type EnumAB
local a = 1

---@type EnumAB.A
local ea = e.A

---@type EnumAB.B
local eb = e.B

---@type EnumAB.B
local eb = e.A -- Cannot assign `EnumAB.A` to `EnumAB.B`

---@type EnumAB
local ee = eb

---@type EnumAB.A
local eea = ee -- Cannot assign `EnumAB` to `EnumAB.A`

Actual Behaviour

---@enum EnumAB
local e = {
	A = 0,
	B = 1,
}

---@type EnumAB
local a = 1

---@type EnumAB.A
local ea = e.A -- Cannot assign `integer` to `EnumAB.A`

---@type EnumAB.B
local eb = e.B -- Cannot assign `integer` to `EnumAB.B`

---@type EnumAB.B
local eb = e.A -- Cannot assign `EnumAB.A` to `EnumAB.B`

---@type EnumAB
local ee = eb -- Cannot assign `EnumAB.B` to `EnumAB`.

---@type EnumAB.A
local eea = ee -- Cannot assign `EnumAB` to `EnumAB.A`

Reproduction steps

Additional Notes

EnumAB.A is most likely an unintended side effect, but having restrictions inside the enum seems like a good idea

Log File

No response

Aucun fichier source, point d’entrée ni test n’est indiqué. Reproduisez les affectations d’enum de l’issue dans l’extension Visual Studio Code du Lua language server sous Linux, puis suivez le comportement de la vérification des types et définissez une couverture de régression pour les relations attendues entre EnumAB, EnumAB.A et EnumAB.B.