Module liveness 

Re-exports

use rustc_index::IndexVec; 🔒

use rustc_index::interval::IntervalSet; 🔒

use rustc_index::interval::SparseIntervalMatrix; 🔒

use rustc_middle::mir::Local; 🔒

use rustc_middle::ty::GenericArg; 🔒

use rustc_middle::ty::RegionVid; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_mir_dataflow::points::PointIndex; 🔒

use crate::polonius::ConstraintDirection; 🔒

use crate::polonius::LiveRegionVariances; 🔒

use crate::region_infer::values::LivenessValues; 🔒

use crate::type_check::liveness::LivenessComputation; 🔒

use crate::universal_regions::UniversalRegions; 🔒

Structs

DeferredRegionLiveness 🔒

The data needed to compute region liveness on-demand while traversing the localized outlives constraint graph to compute loan liveness. Each region comes from a local’s type, so this holds mostly the locals and drop-liveness specifics about their type, to be used as inputs to the LivenessComputation giving us the region liveness.

RegionLiveness 🔒

For a given region, the relevant liveness and variance information.

Traits

LivenessSource 🔒

The source of liveness information for a given region.