does not warn when insert an element with a wrong type into a string array

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?

Diagnostics/Syntax Checking

Expected Behaviour

the code:

---@type string[]
local test = {}
table.insert(test, 123) -- should warn me when i try to insert an element with a wrong type

Actual Behaviour

does not warn

Reproduction steps

1. goto vscode
2. install the latest version of the plugin
3. new a lua file with the code below

---@type string[]
local test = {}
table.insert(test, 123) -- should warn me when i try to insert an element with a wrong type

4. there is no warnings

Additional Notes

No response

Log File

No response

Reproduce the diagnostic issue in a Lua file using the shown table.insert example in the Visual Studio Code extension. Trace the table.insert type-checking entry point and verify that inserting 123 into a string[] produces a warning, then rerun the same reproduction to confirm the diagnostic.