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

首先运行提供的 Lua 复现代码，并比较 test.foo、_G.test.foo 和 test2.foo 的诊断结果。跟踪全局值的类型检查和诊断路径；完成的标准是两个全局赋值与局部别名情况一致地报告 [assign-type-mismatch]。