Annotations with mixins?

還沒有人認領這個 Issue。

Hi I'm trying to make annotations that must require the user to have certain fields in a table as a requirement.

For instance, I want a table that needs to have x,y fields, or certain functions.

Here is some pseudo-code that might explain what I mean:
```
---@class Spinnable
---@field spin fun()

---@class Positionable
---@field x number
---@field y number
---@field setPos fun(x: number, y: number)

---@generic T : Spinnable, Positionable
---@param p1 `T`
---@return T
local function doFunction(p1) return p1 end

local entity = { x = 5 } -- A table that is missing the other fields
local check = doFunction(entity) -- I want a warning here saying it doesn't have, `y`, `setPos()`, or `spin()`
```

Is this currently possible to require certain fields in a table?

首先重現 issue 中帶註解的虛擬碼，並檢視 language server 如何處理類別註解、泛型和表格欄位檢查。完成標準是：將缺少 y、setPos 或 spin 的表格傳遞給 doFunction 時會產生診斷，而相容的表格會被接受。

由索引模型根據 Issue 內容生成。