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.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§