Annotations with mixins?

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?

Bắt đầu bằng cách tái tạo đoạn mã giả có chú thích từ issue và xem xét cách language server xử lý các chú thích lớp, generic và việc kiểm tra trường của bảng. Hoàn thành có nghĩa là một bảng thiếu y, setPos hoặc spin sẽ tạo ra một chẩn đoán khi được truyền vào doFunction, trong khi một bảng tương thích được chấp nhận.