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

Bắt đầu với bản tái hiện bằng Lua trong issue và kiểm tra đường dẫn kiểm tra kiểu cho các trường nullable trên các lớp được chú thích. Xác nhận hành vi cho cả expandHeader(foo.header) và expandHeader(bar); hoàn tất khi cả hai lời gọi đều báo cáo lỗi không khớp kiểu tham số như mong đợi.