@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

issue では具体的なファイルやテストが指定されていないため、まず language server における @alias と @param の既存のアノテーション処理を確認します。提案された @constraint 構文でエイリアスを検証し、警告を生成する方法を検討してから、実装前に構文と期待される動作を定義します。完了とは、色の例で文書化された制約が機能し、無効な値が診断されることを意味します。