trace filter of repeat

fix #2113

Author: sumneko

.vscode/launch.json

@@ -36,9 +36,6 @@
 				]
 			],
 			"windows": {
-				"name": "🍄attach",
-				"type": "lua",
-				"request": "attach",
 				"sourceMaps": [
 					[
 						"script\\*",

changelog.md

@@ -2,6 +2,9 @@
 
 ## 3.6.20
 * `NEW` support connecting by socket with `--socket=PORT`
+* `FIX` [#2113]
+
+[#2113]: https://github.com/LuaLS/lua-language-server/issues/2113
 
 ## 3.6.19
 `2023-4-26`

script/vm/tracer.lua

@@ -296,6 +296,9 @@ local lookIntoChild = util.switch()
                 topNode = tracer.nodes[action]:copy()
             end
         end
+        if action.type == 'repeat' then
+            tracer:lookIntoChild(action.filter, topNode)
+        end
         return topNode, outNode
     end)
     : case 'in'
@@ -745,6 +748,9 @@ function mt:lookIntoBlock(block, start, node)
         ::CONTINUE::
     end
     self.nodes[block] = node
+    if block.type == 'repeat' then
+        self:lookIntoChild(block.filter, node)
+    end
     if block.type == 'do'
     or block.type == 'loop'
     or block.type == 'in'

test/type_inference/init.lua

@@ -4292,3 +4292,9 @@ local m = setmetatable({},{ __index = { a = 1 } })
 
 m.<?a?>
 ]]
+
+TEST 'integer' [[
+local x = 1
+repeat
+until <?x?>
+]]