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

Es werden keine Implementierungsdateien oder Tests genannt. Beginne damit, die LuaLS-Diagnosen für ipairs und die Typanalyse für annotierte Tabellen zu finden, und verfolge dann, wie der Tabellentyp des Beispiels dargestellt wird. Erledigt ist die Aufgabe, wenn das Beispiel eine Warnung ausgeben kann, wenn ipairs für die annotierte Schlüssel-Wert-Tabelle verwendet wird, und das vorgesehene Diagnoseverhalten durch Tests abgedeckt ist.