Struct rustc_mir_dataflow::framework::direction::ForwardSwitchIntEdgeEffectsApplier

struct ForwardSwitchIntEdgeEffectsApplier<'a, D, F> {
    exit_state: &'a mut D,
    targets: &'a SwitchTargets,
    propagate: F,
    effects_applied: bool,
}

Fields

exit_state: &'a mut D

targets: &'a SwitchTargets

propagate: F

effects_applied: bool

Trait Implementations

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

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.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.