Extending alias functionality [Suggestion]

Good day, my suggestion is quite unusual - I'm requesting an additional functionality for aliases, basically adding ability to define regexp for string-based aliases. For example I have something like this:

---@alias Identifier string

That makes type check that Identifier is a string, but don't check if identifier need a custom structure, for example if correct structure is something like namespace:path it can't be validated with LLS.

If on another hand I can able to add a regexp to it:

---@alias Identifier string("^[^:]*:[^:]*$")

Then it will automatically check if identifier is valid

まず、既存のエイリアスの型チェック動作と、LuaLS が文字列ベースの型をどのように表現しているかを確認します。実装前に、要求される構文と正規表現のセマンティクスを定義する必要があります。完了条件には、Identifier のような正規表現で制約されたエイリアスが、指定されたパターンに対して検証されることを含めます。