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

Riproduci il problema diagnostico in un file Lua usando l'esempio mostrato di table.insert nell'estensione Visual Studio Code. Segui il punto di ingresso del controllo dei tipi di table.insert e verifica che l'inserimento di 123 in un string[] produca un avviso, quindi esegui nuovamente la stessa riproduzione per confermare la diagnosi.