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

Reproduisez le problème de diagnostic dans un fichier Lua en utilisant l’exemple table.insert indiqué dans l’extension Visual Studio Code. Suivez le point d’entrée de la vérification de type de table.insert et vérifiez que l’insertion de 123 dans un string[] produit un avertissement, puis relancez la même reproduction pour confirmer le diagnostic.