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 BackwardSwitchIntEdgeEffectsApplier<'_, '_, D, F>where
    D: Clone,
    F: FnMut(BasicBlock, &D),

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