Module rustc_mir::dataflow::framework::direction

Structs

Backward	Dataflow that runs from the exit of a block (the terminator), to its entry (the first statement).
Forward	Dataflow that runs from the entry of a block (the first statement), to its exit (terminator).

Traits

Direction

Functions

switch_on_enum_discriminant

Inspect a SwitchInt-terminated basic block to see if the condition of that SwitchInt is an enum discriminant.