[Feature request] User defined type guards like TypeScript's one

[uga-rosa]

As a simple example, I would like to annotate the following @guard x string. This is in effect returning a boolean, which narrows down the type of the argument x.

---@param x unknown
---@guard x string
local function isString(x)
  return type(x) == "string"
end

---@param x string | number
local function main(x)
  if isString(x) then
    -- x is string
    print(x)
  else
    -- x is number
    print(x)
  end
end

[firas-assaad]

I'd like this feature as well. It's been proposed a couple of times in the past, but it's apparently hard to implement: #1030 (comment)

[itsDesignFlaw]

2 years later, is there any chance of getting this?

[CppCXY]

emmyluals support this like: