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

A issue não nomeia nenhum arquivo-fonte nem teste; comece reproduzindo o exemplo de Lua no NeoVim em Linux e rastreie o ponto de entrada da verificação de tipos e do diagnóstico para chamadas por meio de campos tipados como nil. O trabalho estará concluído quando os diagnósticos relatarem os dois casos de chamada com nil mostrados, incluindo a função opcional e o campo tipado como nil.