@constraint Annotation for types/aliases

Nessuno ha ancora preso questa issue.

I was working with Annotations for documenting my code and wanted to add a warning if the user used a function that didn't fall under a specific pattern (`"0x%x%x%x%x%x%x%x%x"`) and tried finding a workaround. I'm not 100% fluent with .lua and don't have the confidence to PR, so take my idea instead.

My idea for the annotation would be as follows:
```lua
--- @constraint con_color (string.find(T , "^0x%x%x%x%x%x%x%x%x$") or string.find(T , "^%x%x%x%x%x%x$"))
--- @alias color string
--- @param col1 color
--- @param col2 color
local function set_col(col1, col2)
...
end
```

Obviously syntax could use work, but the basic idea would be to add a constraint, and have `T` or whatever variable name be the entry. This way you can give a warning to users about unsupported string or a number being too low/high being used. If there is already something like this please enlighten me as I couldn't find anything

Inizia esaminando la gestione esistente delle annotazioni per @alias e @param nel language server, poiché l’issue non indica file o test specifici. Determina come una sintassi @constraint proposta potrebbe convalidare gli alias e produrre avvisi, quindi definisci la sintassi e il comportamento previsto prima dell’implementazione; il lavoro è completo quando i vincoli documentati funzionano per l’esempio del colore e i valori non validi vengono diagnosticati.

Scritto dal modello di indicizzazione a partire dal testo della issue.