The type of keys used to index [] tables is not checked

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?

Type Checking

Expected Behaviour

Some warning should be raised if you use [5] on a table<string, x>, for example.

Actual Behaviour

In the expression tbl[x], the type of x is not checked at all

Reproduction steps

---@type table<integer, string> -- or string[]
local IntStr = {}
---@type table<string, integer>
local StrInt = {}
IntStr[5] = "hi" -- ok
IntStr["a"] = "b" -- "a" should produce a warning
StrInt["a"] = 5 -- ok
StrInt[5] = 6 -- 5 should produce a warning

Additional Notes

Probably related to #1861

Log File

No response

issue にある Lua の再現コードから始め、テーブルのインデックスアクセスにおける型チェックの経路を調べてください。整数キーのテーブルと文字列キーのテーブルの両方で、キーの型が一致しない場合に警告が生成され、一致する代入は有効なままであることを確認してください。