assign-type-mismatch not reported for global values

How are you using the lua-language-server?

NeoVim

Which OS are you using?

Linux

What is the issue affecting?

Annotations, Type Checking, Diagnostics/Syntax Checking

Expected Behaviour

With a global table that has type-annotated fields, reassigning a field to an incorrectly-typed value should report [assign-type-mismatch]

Actual Behaviour

No diagnostic is reported, even though autocompletion indicates that the type is understood by the server. Further, assigning a local variable to the global value and doing the same thing does report the diagnostic correctly.

Reproduction steps

---@class test
_G.test = {
    ---@type boolean
    foo = true,
}
test.foo = 'bar'  -- no error
_G.test.foo = 'bar'  -- no error
local test2 = test
test2.foo = 'bar'  -- [assign-type-mismatch]

Additional Notes

No response

Log File

No response

Bắt đầu bằng cách chạy bản tái hiện Lua được cung cấp và so sánh các chẩn đoán cho test.foo, _G.test.foo và test2.foo. Theo dõi đường đi của việc kiểm tra kiểu và chẩn đoán đối với các giá trị toàn cục; hoàn thành có nghĩa là hai phép gán toàn cục báo cáo [assign-type-mismatch] nhất quán với trường hợp bí danh cục bộ.