rustc_mir_dataflow::framework

Trait SwitchIntEdgeEffects

source 
pub trait SwitchIntEdgeEffects<D> {
    // Required method
    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§

source

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.

Object Safety§

This trait is not object safe.

Implementors§