@constraint Annotation for types/aliases

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:

--- @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<con_color>
--- @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

Commencez par examiner la gestion existante des annotations pour @alias et @param dans le serveur de langage, puisque l’issue ne nomme pas de fichiers ni de tests spécifiques. Déterminez comment une syntaxe @constraint proposée pourrait valider les alias et produire des avertissements, puis définissez la syntaxe et le comportement attendu avant l’implémentation ; le travail est considéré comme terminé lorsque les contraintes documentées fonctionnent pour l’exemple de couleur et que les valeurs invalides sont diagnostiquées.