copy nodes when tracing list

fix #1841

changelog.md

@@ -4,9 +4,11 @@
 * `NEW` command `lua.exportDocument` . VSCode will display this command in the right-click menu
 * `FIX` [#1831]
 * `FIX` [#1838]
+* `FIX` [#1841]
 
 [#1831]: https://github.com/sumneko/lua-language-server/issues/1831
 [#1838]: https://github.com/sumneko/lua-language-server/issues/1838
+[#1841]: https://github.com/sumneko/lua-language-server/issues/1841
 
 ## 3.6.7
 `2023-1-20`

script/vm/tracer.lua

@@ -530,7 +530,7 @@ local lookIntoChild = util.switch()
     ---@param outNode? vm.node
     : call(function (tracer, action, topNode, outNode)
         for _, ret in ipairs(action) do
-            tracer:lookIntoChild(ret, topNode)
+            tracer:lookIntoChild(ret, topNode:copy())
         end
         return topNode, outNode
     end)
@@ -571,7 +571,7 @@ local lookIntoChild = util.switch()
             for i = 2, #action.args do
                 tracer:lookIntoChild(action.args[i], topNode, topNode:copy())
             end
-            topNode = tracer:lookIntoChild(action.args[1], topNode, topNode:copy())
+            topNode = tracer:lookIntoChild(action.args[1], topNode:copy(), topNode:copy())
         end
         tracer:lookIntoChild(action.node, topNode)
         tracer:lookIntoChild(action.args, topNode)

test/diagnostics/type-check.lua

@@ -1180,6 +1180,16 @@ local x
 - 类型 `nil` 无法匹配 `'A'`]])
 end)
 
+TEST [[
+---@param v integer
+---@return boolean
+local function is_string(v)
+    return type(v) == 'string'
+end
+
+print(is_string(3))
+]]
+
 config.remove(nil, 'Lua.diagnostics.disable', 'unused-local')
 config.remove(nil, 'Lua.diagnostics.disable', 'unused-function')
 config.remove(nil, 'Lua.diagnostics.disable', 'undefined-global')