FIX Incorrect type check in some case

changelog.md

@@ -3,6 +3,10 @@
 ## Unreleased
 <!-- Add all new changes here. They will be moved under a version at release -->
 
+## 3.13.1
+`2024-11-13`
+* `FIX` Incorrect type check in some case
+
 ## 3.13.0
 `2024-11-13`
 * `NEW` Setting: `Lua.type.inferTableSize`: A Small Table array can be infered

script/vm/type.lua

@@ -587,8 +587,10 @@ function vm.isSubType(uri, child, parent, mark, errs)
     and not mark[childName] then
         mark[childName] = true
         if vm.isSubType(uri, parentName, childName, mark) then
+            mark[childName] = nil
             return true
         end
+        mark[childName] = nil
     end
 
     if errs then

test/diagnostics/param-type-mismatch.lua

@@ -364,4 +364,24 @@ local i
 f(i)
 ]]
 
+TEST [[
+---@class A: integer
+
+---@param a A
+local function f(a) end
+
+local t = {
+    { int = 123 },
+    { int = 456 },
+    { int = 789 },
+}
+
+---@type integer
+local i
+
+local k = t[i].int
+
+f(k)
+]]
+
 config.set(nil, 'Lua.type.checkTableShape', false)