Module values 

Re-exports

use std::fmt::Debug; 🔒

use std::fmt::Debug; 🔒

use std::rc::Rc; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_data_structures::fx::FxIndexSet; 🔒

use rustc_index::Idx; 🔒

use rustc_index::bit_set::SparseBitMatrix; 🔒

use rustc_index::interval::IntervalSet; 🔒

use rustc_index::interval::SparseIntervalMatrix; 🔒

use rustc_middle::mir::BasicBlock; 🔒

use rustc_middle::mir::Location; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::RegionVid; 🔒

use rustc_mir_dataflow::points::DenseLocationMap; 🔒

use rustc_mir_dataflow::points::PointIndex; 🔒

use rustc_span::bug; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use crate::BorrowIndex; 🔒

use crate::polonius::LiveLoans; 🔒

Structs

LivenessValues 🔒

Records the CFG locations where each region is live. When we initially compute liveness, we use an interval matrix storing liveness ranges for each region-vid.

PlaceholderIndex 🔒

A single integer representing a ty::Placeholder.

PlaceholderIndices 🔒

Maps from ty::PlaceholderRegion values that are used in the rest of rustc to the internal PlaceholderIndex values that are used in NLL.

RegionValues 🔒

Stores the full values for a set of regions (in contrast to LivenessValues, which only stores those points in the where a region is live). The full value for a region may contain points in the CFG, but also free regions as well as bound universe placeholders.

Enums

LiveRegions 🔒

Either a mapping of which points a region is live at (for regular bodies), or which regions are live in the body somewhere (for promoteds, which do not care about where they are live, only that they are).

RegionElement 🔒

An individual element in a region value – the value of a particular region variable consists of a set of these elements.

Functions

pretty_print_region_elements 🔒

For debugging purposes, returns a pretty-printed string of the given region elements.