Struct MirIfThenElse 

pub struct MirIfThenElse {
    pub cond: Box<Spanned<MirExpr>>,
    pub then_branch: Box<Spanned<MirExpr>>,
    pub else_branch: Box<Spanned<MirExpr>>,
}

if cond { then_branch } else { else_branch } — direct conditional, no pattern dispatch. Phase 6 wave 9 introduces this so every backend gets it for free instead of re-implementing the “two-arm bool match → if/else” recognition (HIR’s try_emit_bool_if_else etc). The optimizer pass bool_match_to_if rewrites qualifying Match nodes into IfThenElse; backends consume only the rewritten form.

Fields

cond: Box<Spanned<MirExpr>>

then_branch: Box<Spanned<MirExpr>>

else_branch: Box<Spanned<MirExpr>>

Trait Implementations

impl Clone for MirIfThenElse

fn clone(&self) -> MirIfThenElse

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MirIfThenElse

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.