Annotate custom check function as assert

[sewbacca]

It is sometimes nice to do some checks on variables such as:

---@param notoptional table?
local function foobar(notoptional)
    assert(notoptional, "notoptional is not optional")
    return notoptional.foobar
end

Note the separation of those two lines, in real code those might be much further apart. Also ---@param notoptional table? is for demonstration purposes only, the value might come from another function call.
This works fine, but when I want to implement a custom assert function:

local utils = require 'utils'
---@param notoptional table?
local function foobar(notoptional)
    utils.check(notoptional, "notoptional is not optional")
    return notoptional.foobar
end

This does no longer work. The annotation for utils.assert is basically the same as for assert:

---@generic T
---@param cond T?
---@param err string?
---@return T
function utils.check(cond, err)
	if not cond then
		error(setmetatable({ err = err }, Error))
	end
	return cond
end

This works fine for assignments, but assert delivers more information, i.e. implicit casting of variables. It would be nice if there were something like ---@special <varname>. I could use "runtime.special": { "check": "assert" } and make utils.check global, but that is ugly. Is there another workarround?