[Enhancement] Improve fun type matching

---@class Class
---@field f fun(s: string): integer

---@param f fun(x: string): integer
local function handle(f)
	return f("string")
end

-----

---@param i number
---@return boolean
local function is_positive(i)
	return i >= 0
end

handle(is_positive) -- expect `param-type-mismatch`

---@type Class
local _ = { f = is_positive } -- expect `assign-type-mismatch`

Expected warning:
Type fun(i: number):boolean cannot match fun(x: string):integer

I didn't find duplicates, although I expected them
maybe I didn't search well

Comece reproduzindo o snippet de Lua da issue e rastreando o caminho de correspondência de tipos de função usado nas verificações de chamadas e atribuições. Está concluído quando ambas as incompatibilidades produzirem os avisos esperados param-type-mismatch e assign-type-mismatch, incluindo os tipos de função relatados.