Trait rustc_mir::dataflow::framework::SwitchIntEdgeEffects[][src]

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

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))[src]

Expand description

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

Loading content...

Implementors

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

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

Loading content...