[Feature Request] Allow mark any as @enum

Issue Description

---@enum Type
local Type = {
	A = 1,
	B = 2,
	-- ...
}

---@return {[string]: integer}
function Generate_enum()
	return {}
end

---@enum (partial) Type
local Type2 = {}

for k, v in pairs(Generate_enum()) do
	Type2[k] = v
end

---@enum (partial) Type
local Type3 = Generate_enum()

The point is to achieve the same behavior for Type3 as for Type2.

Empieza reproduciendo los ejemplos de Lua del issue e inspecciona el manejo existente de @enum y la inferencia de tipos del language server para las asignaciones. Compara Type2 y Type3 y después añade cobertura para que un enum parcial asignado directamente desde Generate_enum() reciba el mismo comportamiento que la asignación incremental; se considera terminado cuando sus diagnósticos y su información de tipos coincidan.