Function rustc_mir::borrow_check::nll::type_check::liveness::generate [−][src]
pub(super) fn generate<'gcx, 'tcx>(
cx: &mut TypeChecker<'_, 'gcx, 'tcx>,
mir: &Mir<'tcx>,
liveness: &LivenessResults,
flow_inits: &mut FlowAtLocation<MaybeInitializedPlaces<'_, 'gcx, 'tcx>>,
move_data: &MoveData<'tcx>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Combines liveness analysis with initialization analysis to
determine which variables are live at which points, both due to
ordinary uses and drops. Returns a set of (ty, location) pairs
that indicate which types must be live at which point in the CFG.
This vector is consumed by constraint_generation
.
NB. This computation requires normalization; therefore, it must be performed before