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?

Comienza con los ejemplos de anotaciones en hoge.meta.lua y main.lua, y luego reproduce el diagnóstico de asignar una tabla a hoge.position. El issue no menciona archivos ni pruebas del repositorio, por lo que deben localizarse los puntos de entrada relevantes de las anotaciones y la comprobación de tipos. Se considera terminado cuando la sintaxis de anotaciones puede expresar tipos de setter y getter distintos y la asignación de ejemplo ya no informa de que faltan campos de Point.