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

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

Issue không nêu tệp, bài kiểm thử hoặc điểm vào nào. Hãy bắt đầu bằng cách so sánh annotation @guard được yêu cầu và ví dụ isString với hành vi thu hẹp kiểu hiện có của language server. Công việc được xem là hoàn tất khi các guard do người dùng định nghĩa thu hẹp x thành string trong nhánh true và thành number trong nhánh false.