Trait rustc_const_eval::transform::MirPass

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

    fn name(&self) -> Cow<'_, str> { ... }
}

A streamlined trait that you can implement to create a pass; the pass will be named after the type, and it will consist of a main loop that goes over each available MIR and applies run_pass.

Required methods

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

Provided methods

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

Implementors

impl<'tcx> MirPass<'tcx> for PromoteTemps<'tcx>

impl<'tcx> MirPass<'tcx> for Validator