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]。