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

Reproduziere das Diagnoseproblem in einer Lua-Datei mithilfe des gezeigten table.insert-Beispiels in der Visual Studio Code-Erweiterung. Verfolge den Einstiegspunkt der Typprüfung von table.insert und überprüfe, dass das Einfügen von 123 in ein string[] eine Warnung erzeugt. Führe anschließend dieselbe Reproduktion erneut aus, um die Diagnose zu bestätigen.