Struct rustc_mir::borrow_check::location::LocationTable

pub(crate) struct LocationTable {
    num_points: usize,
    statements_before_block: IndexVec<BasicBlock, usize>,
}

Maps between a MIR Location, which identifies a particular statement within a basic block, to a "rich location", which identifies at a finer granularity. In particular, we distinguish the start of a statement and the mid-point. The mid-point is the point just before the statement takes effect; in particular, for an assignment A = B, it is the point where B is about to be written into A. This mid-point is a kind of hack to work around our inability to track the position information at sufficient granularity through outlives relations; however, the rich location table serves another purpose: it compresses locations from multiple words into a single u32.

Fields

num_points: usize

statements_before_block: IndexVec<BasicBlock, usize>

Implementations

impl LocationTable

pub(crate) fn new(body: &Body<'_>) -> Self

pub(crate) fn all_points(&self) -> impl Iterator<Item = LocationIndex>

pub(crate) fn start_index(&self, location: Location) -> LocationIndex

pub(crate) fn mid_index(&self, location: Location) -> LocationIndex

pub(crate) fn to_location(&self, index: LocationIndex) -> RichLocation