Type checking for functions as argument?

まだ誰も着手していません。

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

issue にある最小限の Lua 例から始め、language server が accepts_integer_function の fun(i: integer) パラメーターを mismatching_function の fun(s: string) 型に対してどのようにチェックするかを追跡します。非互換な関数が渡される呼び出し箇所で language server が型エラーを報告すれば完了です。

索引モデルが issue の本文から書いたものです。