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§
sourcefn apply(&mut self, apply_edge_effect: impl FnMut(&mut D, SwitchIntTarget))
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.