[Enhancement] Improve fun type matching

Chưa có ai nhận issue này.

```lua
---@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

Bắt đầu bằng cách tái hiện đoạn Lua trong issue và lần theo đường dẫn đối sánh kiểu hàm được sử dụng cho các bước kiểm tra lệnh gọi và phép gán. Được xem là hoàn tất khi cả hai điểm không khớp đều tạo ra các cảnh báo `param-type-mismatch` và `assign-type-mismatch` như mong đợi, bao gồm cả các kiểu hàm được báo cáo.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.