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

Không có tệp triển khai hoặc bài kiểm thử nào được nêu tên. Hãy bắt đầu bằng cách xác định các chẩn đoán LuaLS cho ipairs và phần phân tích kiểu cho các bảng có chú thích, sau đó theo dõi cách kiểu bảng của ví dụ được biểu diễn. Hoàn thành khi ví dụ có thể phát ra cảnh báo khi ipairs được sử dụng cho bảng khóa-giá trị có chú thích, và hành vi chẩn đoán dự kiến được bao phủ bằng các bài kiểm thử.