fix

Author: sumneko

script/vm/tracer.lua

@@ -362,7 +362,7 @@ function mt:lookIntoChild(action, topNode, outNode)
         local mainNode = topNode:copy()
         local blockNodes = {}
         for _, subBlock in ipairs(action) do
-            self:fastWardCasts(subBlock.start, mainNode)
+            self:resetCastsIndex(subBlock.start)
             local blockNode = mainNode:copy()
             if subBlock.filter then
                 blockNode, mainNode = self:lookIntoChild(subBlock.filter, blockNode, mainNode)

test/type_inference/init.lua

@@ -4088,6 +4088,36 @@ elseif <?t?> then
 end
 ]]
 
+TEST 'A|B' [[
+---@class A
+---@class B
+
+---@type A|B
+local t
+
+if x then
+    ---@cast t A
+    print(t)
+elseif <?t?> then
+end
+]]
+
+TEST 'A|B' [[
+---@class A
+---@class B
+
+---@type A|B
+local t
+
+if x then
+    ---@cast t A
+    print(t)
+elseif <?t?> then
+    ---@cast t A
+    print(t)
+end
+]]
+
 TEST 'function' [[
 local function x()
     print(<?x?>)