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

Non vengono indicati file di implementazione né test. Inizia individuando le diagnostiche di LuaLS per ipairs e l’analisi dei tipi per le tabelle annotate, quindi segui come viene rappresentato il tipo di tabella dell’esempio. Il lavoro è completato quando l’esempio può produrre un avviso usando ipairs per la tabella annotata chiave-valore e il comportamento diagnostico previsto è coperto dai test.