Module direction 

Re-exports

use rustc_middle::mir; 🔒

use rustc_middle::mir::BasicBlock; 🔒

use rustc_middle::mir::Location; 🔒

use rustc_middle::mir::TerminatorEdges; 🔒

use rustc_span::bug; 🔒

use super::visitor::ResultsVisitor; 🔒

use super::Analysis; 🔒

use super::Effect; 🔒

use super::EffectIndex; 🔒

use super::SwitchTargetIndex; 🔒

Structs

Backward

Dataflow that runs from the exit of a block (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