Nil check for functions

How are you using the lua-language-server?

NeoVim

Which OS are you using?

Linux

What is the issue affecting?

Type Checking, Diagnostics/Syntax Checking

Expected Behaviour

---@class Type1
---@field maybe_fun? fun(a: integer)
---@field absolutely_nil nil

---@type Type1
local type {
    maybe_fun = nil
    absolutely_nil = nil
}

type.maybe_fun(5) -- ERROR "maybe_fun" is nil, add nil check
type.absolutely_nil() -- ERROR "absolutely_nil" is nil

Actual Behaviour

---@class Type1
---@field maybe_fun? fun(a: integer)
---@field absolutely_nil nil

---@type Type1
local type {
    maybe_fun = nil
    absolutely_nil = nil
}
-- No error messages, luals does not complain at all
type.maybe_fun(5) 
type.absolutely_nil() 

Reproduction steps

1. Run example

Additional Notes

No response

Log File

No response

この issue ではソースファイルもテストも指定されていないため、まず Linux 上の NeoVim で Lua の例を再現し、nil 型のフィールドを介した呼び出しに対する型チェックと診断のエントリーポイントを追跡します。完了条件は、オプショナルな関数と nil 型として定義されたフィールドを含め、示されている nil 呼び出しの両方のケースが診断で報告されることです。