vimeo / psalm

        $lhs_type = null;

        if ($stmt_left_type = $statements_analyzer->node_data->getType($stmt->left)) {

            $if_return_type_reconciled = AssertionReconciler::reconcile(

                'isset',

                clone $stmt_left_type,

                '',

                $statements_analyzer,

                $context->inside_loop,

                [],

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

                $statements_analyzer->getSuppressedIssues()

            );

            $lhs_type = clone $if_return_type_reconciled;

        }

        $stmt_right_type = null;

            if ($stmt_if_type = $statements_analyzer->node_data->getType($stmt->if)) {

                $lhs_type = $stmt_if_type;

            }

        } elseif ($stmt_cond_type = $statements_analyzer->node_data->getType($stmt->cond)) {

            $if_return_type_reconciled = AssertionReconciler::reconcile(

                '!falsy',

                clone $stmt_cond_type,

                '',

                $statements_analyzer,

                $context->inside_loop,

                [],

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

                $statements_analyzer->getSuppressedIssues()

            );

            $lhs_type = $if_return_type_reconciled;

        }

        if ($lhs_type && ($stmt_else_type = $statements_analyzer->node_data->getType($stmt->else))) {

            $statements_analyzer->node_data->setType($stmt, Type::combineUnionTypes($lhs_type, $stmt_else_type));