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

Commencer par examiner le comportement existant de vérification des types d’alias et la manière dont LuaLS représente les types basés sur des chaînes. La syntaxe demandée et la sémantique des expressions régulières doivent être définies avant l’implémentation. La tâche doit notamment inclure la validation d’alias contraints par une expression régulière, tels que Identifier, selon le motif spécifié.