Struct rustc_mir::transform::early_otherwise_branch::EarlyOtherwiseBranch

pub struct EarlyOtherwiseBranch;

This pass optimizes something like

let x: Option<()>;
let y: Option<()>;
match (x,y) {
    (Some(_), Some(_)) => {0},
    _ => {1}
}

into something like

let x: Option<()>;
let y: Option<()>;
let discriminant_x = // get discriminant of x
let discriminant_y = // get discriminant of y
if discriminant_x != discriminant_y || discriminant_x == None {1} else {0}

Trait Implementations

impl<'tcx> MirPass<'tcx> for EarlyOtherwiseBranch

pub fn run_pass(&self, tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>)

pub fn name(&self) -> Cow<'_, str>