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

Non sono specificati file sorgente, punto di ingresso o test. Riproduci le assegnazioni dell’enum issue nell’estensione Visual Studio Code del Lua language server su Linux, quindi traccia il comportamento del controllo dei tipi e definisci una copertura di regressione per le relazioni previste tra EnumAB, EnumAB.A e EnumAB.B.