Nil access check does not run

How are you using the lua-language-server?

Other

Which OS are you using?

Linux

What is the issue affecting?

Diagnostics/Syntax Checking

Expected Behaviour

I have the minimal example

---@class A
---@field b fun(self: A): table?

---@return A[]
local function get_A()
  local l = {}
  for _ = 1, 10 do
    if math.random() > 0.5 then
      table.insert(l, { b = function(self) return { f = 4 } end })
    else
      table.insert(l, { b = function(self) print("hi" .. tostring(self)) end })
    end
  end
  return l
end

local as = get_A()
for i = 1, 10 do
  local a = as[i]
  if a:b().f > 3 then
    print("yo")
  end
end

The lsp should give me an error about a:b().f as a:b() could be nil.

Actual Behaviour

No warnings are shown.

Reproduction steps

1. Copy the given code into an editor
2. See that no errors are shown

Additional Notes

No response

Log File

No response

Bắt đầu bằng cách chạy ví dụ Lua tối thiểu trong một trình chỉnh sửa có lua-language-server và xác nhận rằng không có chẩn đoán nào được phát ra cho a:b().f. Theo dõi đường đi của chẩn đoán/kiểm tra cú pháp đối với các lệnh gọi nối chuỗi và các giá trị trả về nullable. Được xem là hoàn thành khi ví dụ báo cáo rằng việc dereference a:b() có thể truy cập một giá trị nil, mà không đưa vào các cảnh báo không liên quan.