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 の診断を比較します。グローバル値に対する型チェックと診断の経路を追跡します。完了の条件は、2 つのグローバル代入がローカルエイリアスの場合と一貫して [assign-type-mismatch] を報告することです。