Type checking for functions as argument? #3461

---@param fn fun(i: integer)
local function accepts_integer_function(fn)
end

---@type fun(s: string)
local function mismatching_function(s)
end

-- expecting this to raise an error, but it doesn't
accepts_integer_function(mismatching_function)