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

Aucun fichier d’implémentation ni test n’est nommé. Commencez par localiser les diagnostics de LuaLS pour ipairs et l’analyse de type des tables annotées, puis suivez la manière dont le type de table de l’exemple est représenté. La tâche est terminée lorsque l’exemple peut produire un avertissement quand ipairs est utilisé pour la table clé-valeur annotée, et que le comportement de diagnostic attendu est couvert par des tests.