Diagnostics for incorrect use of ipairs

An enhancement idea: I ran into a subtle bug in my own code where I used ipairs instead of pairs. Would it be possible for the Lua language server to warn about such usage? This is assuming it knows the type being iterated (or maybe if it's explicitly annotated). For example:

---@type table<string, integer>
local x = { a = 1, b = 2 }

for k, v in ipairs(x) do -- most likely a mistake
    print(k, v)
end

未指定实现文件或测试。首先定位 LuaLS 对 ipairs 的诊断以及对带注解表的类型分析，然后跟踪示例中的表类型是如何表示的。完成的标准是：对带注解的键值表使用 ipairs 时，示例能够产生警告，并且预期的诊断行为已由测试覆盖。