Annotations with mixins?

Personne n'a encore pris cette 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?

Commencez par reproduire le pseudo-code annoté de l’issue et examinez la façon dont le language server gère les annotations de classes, les génériques et les vérifications des champs de table. La tâche est terminée lorsqu’une table à laquelle il manque y, setPos ou spin produit un diagnostic lorsqu’elle est passée à doFunction, tandis qu’une table compatible est acceptée.

Rédigé par le modèle d'indexation à partir du texte de l'issue.