[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

Commencez par reproduire l’extrait Lua de l’issue et suivre le chemin de correspondance des types de fonction utilisé pour les vérifications des appels et des affectations. C’est terminé lorsque les deux incompatibilités produisent les avertissements attendus param-type-mismatch et assign-type-mismatch, y compris les types de fonction signalés.