some fix

Author: sumneko

script/core/diagnostics/param-type-mismatch.lua

@@ -22,6 +22,9 @@ return function (uri, callback)
                 local param = f.args and f.args[i]
                 if param then
                     defNode:merge(vm.compileNode(param))
+                    if param[1] == '...' then
+                        defNode:addOptional()
+                    end
                 end
             end
         end

script/core/diagnostics/unused-vararg.lua

@@ -15,6 +15,9 @@ return function (uri, callback)
     end
 
     guide.eachSourceType(ast.ast, 'function', function (source)
+        if #source == 0 then
+            return
+        end
         local args = source.args
         if not args then
             return

script/vm/runner.lua

@@ -209,7 +209,7 @@ function mt:_lookInto(action, topNode, outNode)
             local topNode1, outNode1 = self:_lookInto(action[1], topNode, outNode)
             local topNode2, outNode2 = self:_lookInto(action[2], outNode1, outNode1:copy())
             topNode = vm.createNode(topNode1, topNode2)
-            outNode = outNode2
+            outNode = outNode2:copy()
         elseif action.op.type == '=='
         or     action.op.type == '~=' then
             local exp, checker

test/diagnostics/type-check.lua

@@ -580,5 +580,13 @@ function F()
 end
 ]]
 
+TEST [[
+---@param ... number
+local function f(...)
+end
+
+f(nil)
+]]
+
 config.remove(nil, 'Lua.diagnostics.disable', 'unused-local')
 config.remove(nil, 'Lua.diagnostics.disable', 'undefined-global')

test/type_inference/init.lua

@@ -3184,3 +3184,19 @@ local t = {
     x = n and <?n?>,
 }
 ]]
+
+TEST 'table' [[
+---@type table?
+local n
+
+if not n or not <?n?>.x then
+end
+]]
+
+TEST 'table' [[
+---@type table?
+local n
+
+if not n or not <?n?>[1] then
+end
+]]