Missing "need-check-nil" on self fields

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Type Checking, Diagnostics/Syntax Checking

Expected Behaviour

I expect both methods to report the "need check nil" diagnostic:

---@class Y
---@field z string

---@class X
---@field y Y?
local X = {}

function X:no_warning()
    print(self.y.z) -- no diagnostics
end

function X:warning()
    local y = self.y
    print(y.z) -- need-check-nil
end

Actual Behaviour

The potential problem is only reported when using a local variable.

Reproduction steps

Try the code above. and note how only the first method (no_warning) works without any diagnostics.

Additional Notes

No response

Log File

No response

Tái hiện vấn đề trong extension Visual Studio Code bằng snippet Lua trong báo cáo, rồi so sánh các chẩn đoán cho self.y.z với trường hợp biến cục bộ y.z. Truy vết điểm vào của việc kiểm tra kiểu hoặc chẩn đoán chịu trách nhiệm kiểm tra nil; được xem là hoàn tất khi cả hai phương thức đều báo cáo chẩn đoán need-check-nil mà không thay đổi các kiểu của ví dụ.