Unexpected typechecking (with classes only?)

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

MacOS

What is the issue affecting?

Type Checking

Expected Behaviour

---@param a string
---@return string
local function expandHeader(a) return a end

---@class baz
---@field header string?

---@type baz
local foo = {}
local bar = foo.header
expandHeader(foo.header) -- param-type-mismatch
expandHeader(bar) -- param-type-mismatch

Actual Behaviour

---@param a string
---@return string
local function expandHeader(a) return a end

---@class baz
---@field header string?

---@type baz
local foo = {}
local bar = foo.header
expandHeader(foo.header) -- NO WARNING
expandHeader(bar) -- param-type-mismatch

Reproduction steps

See actual behavior

Additional Notes

No response

Log File

No response

Inizia con la riproduzione in Lua nell’issue e analizza il percorso del controllo dei tipi per i campi nullable nelle classi annotate. Verifica il comportamento sia per expandHeader(foo.header) sia per expandHeader(bar); il lavoro è completato quando entrambe le chiamate segnalano l’attesa mancata corrispondenza del tipo del parametro.