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

Tái hiện vấn đề chẩn đoán trong một tệp Lua bằng cách sử dụng ví dụ table.insert được hiển thị trong extension Visual Studio Code. Theo dõi điểm vào kiểm tra kiểu của table.insert và xác minh rằng việc chèn 123 vào một string[] tạo ra cảnh báo, sau đó chạy lại cùng quy trình tái hiện để xác nhận chẩn đoán.