vimeo / psalm

        $right_context = clone $context;

        if ($negated_type_assertions) {

            // while in an or, we allow scope to boil over to support

            // statements of the form if ($x === null || $x->foo())

            $right_vars_in_scope = Reconciler::reconcileKeyedTypes(

                $negated_type_assertions,

                $active_negated_type_assertions,

                $right_context->vars_in_scope,

                $changed_var_ids,

                $left_referenced_var_ids,

                $statements_analyzer,

                [],

                $left_context->inside_loop,

                new CodeLocation($statements_analyzer->getSource(), $stmt)

            );

            $right_context->vars_in_scope = $right_vars_in_scope;

        }

        $right_context->clauses = $clauses_for_right_analysis;

        $changed_var_ids = [];

        if ($reconcilable_if_types) {

            $if_vars_in_scope_reconciled = Reconciler::reconcileKeyedTypes(

                $reconcilable_if_types,

                $active_if_types,

                $if_context->vars_in_scope,

                $changed_var_ids,

                $cond_referenced_var_ids,

                $statements_analyzer,

                $statements_analyzer->getTemplateTypeMap() ?: [],

                $if_context->inside_loop,

                new CodeLocation($statements_analyzer->getSource(), $stmt->cond)

            );

            $if_context->vars_in_scope = $if_vars_in_scope_reconciled;

        }

        $t_else_context = clone $context;

            );

        }

        if ($negated_if_types) {

            $t_else_vars_in_scope_reconciled = Reconciler::reconcileKeyedTypes(

                $negated_if_types,

                $negated_if_types,

                $t_else_context->vars_in_scope,

                $changed_var_ids,

                $cond_referenced_var_ids,

                $statements_analyzer,

                $statements_analyzer->getTemplateTypeMap() ?: [],

                $t_else_context->inside_loop,

                new CodeLocation($statements_analyzer->getSource(), $stmt->else)

            );

            $t_else_context->vars_in_scope = $t_else_vars_in_scope_reconciled;

        }

        if (ExpressionAnalyzer::analyze($statements_analyzer, $stmt->else, $t_else_context) === false) {

            return false;