fix

Author: sumneko

script/vm/compiler.lua

@@ -887,7 +887,7 @@ local function compileLocal(source)
 
     -- for x = ... do
     if source.parent.type == 'loop' then
-        vm.setNode(source, globalMgr.getGlobal('type', 'integer'))
+        vm.compileNode(source.parent)
     end
 
     if source.bindDocs then
@@ -1246,6 +1246,12 @@ local compilerSwitch = util.switch()
             end
         end
     end)
+    : case 'loop'
+    : call(function (source)
+        if source.loc then
+            vm.setNode(source.loc, globalMgr.getGlobal('type', 'integer'))
+        end
+    end)
     : case 'doc.type'
     : call(function (source)
         for _, typeUnit in ipairs(source.types) do

test/type_inference/init.lua

@@ -2121,3 +2121,9 @@ local x
 ---@type integer
 <?x?> = XXX
 ]]
+
+TEST 'unknown' [[
+for _ = 1, 999 do
+    local <?x?>
+end
+]]