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

No se nombran archivos de implementación ni pruebas. Empieza por localizar los diagnósticos de LuaLS para ipairs y el análisis de tipos de las tablas anotadas, y después sigue cómo se representa el tipo de tabla del ejemplo. La tarea está terminada cuando el ejemplo puede producir una advertencia al usar ipairs para la tabla anotada de clave-valor, y el comportamiento de diagnóstico previsto está cubierto por pruebas.