Properties (getter/setter) support

Lua's variables can act as C#-like properties by setting __newindex appropriately.

Getters and setters occasionally have different type signatures. However, the @field annotation can only represent one type.

-- hoge.meta.lua

---@meta

---@class Point
---@field x number
---@field y number
Point = {}

---@class Hoge
---@field position Point ⚠️ actually a property
Hoge = {}

---@return Hoge
function new_hoge() end

-- main.lua

local hoge = new_hoge()
hoge.position = { 3, 7 } -- emits "Missing required fields in type `Point`: `x`, `y`"
print(hoge.position.x)   -- 3.0
print(hoge.position.y)   -- 7.0

(Full sample program is here)

It should be annotated as "position's setter receives a table<number, number>, and its getter returns a Point."

How about adding a new syntax to describe this?

Beginne mit den Annotationsbeispielen in hoge.meta.lua und main.lua und reproduziere dann die Diagnose für die Zuweisung einer Tabelle an hoge.position. Das Issue nennt keine Repository-Dateien oder Tests, daher müssen die relevanten Einstiegsstellen für Annotationen und Typprüfung gefunden werden. Erledigt ist die Aufgabe, wenn die Annotationssyntax unterschiedliche Setter- und Getter-Typen ausdrücken kann und die Beispielzuweisung nicht mehr das Fehlen von Point-Feldern meldet.