Struct rustc_mir_dataflow::framework::direction::BackwardSwitchIntEdgeEffectsApplier

struct BackwardSwitchIntEdgeEffectsApplier<'mir, 'tcx, D, F> {
    body: &'mir Body<'tcx>,
    pred: BasicBlock,
    exit_state: &'mir mut D,
    bb: BasicBlock,
    propagate: &'mir mut F,
    effects_applied: bool,
}

Fields

body: &'mir Body<'tcx>

pred: BasicBlock

exit_state: &'mir mut D

bb: BasicBlock

propagate: &'mir mut F

effects_applied: bool

Trait Implementations

impl<D, F> SwitchIntEdgeEffects<D> for BackwardSwitchIntEdgeEffectsApplier<'_, '_, 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: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 40 bytes