fix #1335

Author: sumneko

changelog.md

@@ -1,6 +1,7 @@
 # changelog
 
 ## 3.5.1
+* `FIX` [#1335](https://github.com/sumneko/lua-language-server/issues/1335)
 * `FIX` [#1354](https://github.com/sumneko/lua-language-server/issues/1354)
 
 ## 3.5.0

script/vm/sign.lua

@@ -63,6 +63,10 @@ function mt:resolve(uri, args, removeGeneric)
                         resolve(object.node, vm.compileNode(field.extends))
                     end)
                 end
+                if n.type == 'table' and #n >= 1 then
+                    -- { x } / { ... } -> T[]
+                    resolve(object.node, vm.compileNode(n[1]))
+                end
             end
         end
         if object.type == 'doc.type.table' then

script/vm/type.lua

@@ -310,6 +310,9 @@ function vm.getTableValue(uri, tnode, knode, inversion)
                         end
                     end
                 end
+                if field.type == 'varargs' then
+                    result:merge(vm.compileNode(field))
+                end
             end
         end
     end

test/type_inference/init.lua

@@ -3737,3 +3737,21 @@ function m:init()
     return <?self?>
 end
 ]]
+
+TEST 'string' [[
+---@vararg string
+function F(...)
+    local t = {...}
+    for k, <?v?> in pairs(t) do
+    end
+end
+]]
+
+TEST 'string' [[
+---@vararg string
+function F(...)
+    local t = {...}
+    for k, <?v?> in ipairs(t) do
+    end
+end
+]]