Type checking for functions as argument?

Dieses Issue hat noch niemand übernommen.

Is there something I can do have type checking for passed in functions?

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

Beginne mit dem minimalen Lua-Beispiel im Issue und verfolge, wie der Language Server den Parameter fun(i: integer) von accepts_integer_function gegen den Typ fun(s: string) von mismatching_function prüft. Fertig ist die Aufgabe, wenn der Language Server an dem Aufruf, an den die inkompatible Funktion übergeben wird, einen Typfehler meldet.

Vom Indexierungsmodell aus dem Issue-Text verfasst.