does not warn when insert an element with a wrong type into a string array

Nobody has claimed this yet.

### 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:

``` lua
---@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

``` lua
---@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_

Reproduce the diagnostic issue in a Lua file using the shown table.insert example in the Visual Studio Code extension. Trace the table.insert type-checking entry point and verify that inserting 123 into a string[] produces a warning, then rerun the same reproduction to confirm the diagnostic.

Written by the indexing model from the issue text.