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

Visual Studio Code拡張機能で、示されているtable.insertの例を使ってLuaファイル内の診断問題を再現します。table.insertの型チェックのエントリポイントを追跡し、123をstring[]に挿入すると警告が生成されることを確認してから、同じ再現を再度実行して診断を確認します。