[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.

Beginne damit, die Lua-Beispiele des Issues zu reproduzieren, und untersuche die bestehende @enum-Behandlung des Language Servers sowie die Typinferenz für Zuweisungen. Vergleiche Type2 und Type3 und füge anschließend Tests hinzu, sodass ein partielles enum, das direkt aus Generate_enum() zugewiesen wird, dasselbe Verhalten wie bei der inkrementellen Zuweisung erhält; abgeschlossen ist die Aufgabe, wenn ihre Diagnosen und Typinformationen übereinstimmen.