Trait rustc_mir_dataflow::framework::SwitchIntEdgeEffects

pub trait SwitchIntEdgeEffects<D> {
    fn apply(&mut self, apply_edge_effect: impl FnMut(&mut D, SwitchIntTarget));
}

A type that records the edge-specific effects for a SwitchInt terminator.

Required methods

fn apply(&mut self, apply_edge_effect: impl FnMut(&mut D, SwitchIntTarget))

Calls apply_edge_effect for each outgoing edge from a SwitchInt terminator and records the results.

Implementors

impl<D, F> SwitchIntEdgeEffects<D> for SwitchIntEdgeEffectApplier<'_, D, F> where
    D: Clone,
    F: FnMut(BasicBlock, &D),