#435 treat V[] as table<integer, V> in pairs

Author: sumneko

Diff for: changelog.md

@@ -1,6 +1,7 @@
 # changelog
 
 ## 1.17.3
+* `CHG` intelli-scense: treat `V[]` as `table<integer, V>` in `pairs`
 * `FIX` [#435](https://github.com/sumneko/lua-language-server/issues/435)
 
 ## 1.17.2

Diff for: script/parser/guide.lua

@@ -1665,6 +1665,14 @@ local function stepRefOfGenericCrossTable(status, doc, typeName)
                                 if res.type == 'doc.type.table' then
                                     return res[where]
                                 end
+                                if res.type == 'doc.type.array' then
+                                    if where == 'key' then
+                                        return status.interface and status.interface.docType('integer')[1]
+                                    end
+                                    if where == 'value' then
+                                        return res.node
+                                    end
+                                end
                             end
                         end
                     end

Diff for: test/type_inference/init.lua

@@ -563,6 +563,36 @@ for _, <?v?> in ipairs(t) do
 end
 ]]
 
+TEST 'boolean' [[
+---@generic T: table, K, V
+---@param t T
+---@return fun(table: table<K, V>, index: K):K, V
+---@return T
+---@return nil
+local function pairs(t) end
+
+---@type boolean[]
+local t
+
+for k, <?v?> in pairs(t) do
+end
+]]
+
+TEST 'integer' [[
+---@generic T: table, K, V
+---@param t T
+---@return fun(table: table<K, V>, index: K):K, V
+---@return T
+---@return nil
+local function pairs(t) end
+
+---@type boolean[]
+local t
+
+for <?k?>, v in pairs(t) do
+end
+]]
+
 TEST 'E' [[
 ---@class A
 ---@class B: A