fix

Author: sumneko

script/vm/tracer.lua

@@ -362,6 +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)
             local blockNode = mainNode:copy()
             if subBlock.filter then
                 blockNode, mainNode = self:lookIntoChild(subBlock.filter, blockNode, mainNode)

test/type_inference/init.lua

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