[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

Inizia riproducendo lo snippet Lua dell’issue e seguendo il percorso di corrispondenza dei tipi di funzione utilizzato per i controlli delle chiamate e delle assegnazioni. Il lavoro è completato quando entrambe le incompatibilità producono gli avvisi attesi param-type-mismatch e assign-type-mismatch, inclusi i tipi di funzione segnalati.