Struct rustc_borrowck::consumers::LocationTable
source · pub struct LocationTable {
num_points: usize,
statements_before_block: IndexVec<BasicBlock, usize>,
}
Expand description
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
sourceimpl LocationTable
impl LocationTable
pub(crate) fn new(body: &Body<'_>) -> Self
pub fn all_points(&self) -> impl Iterator<Item = LocationIndex>
pub fn start_index(&self, location: Location) -> LocationIndex
pub fn mid_index(&self, location: Location) -> LocationIndex
pub fn to_location(&self, index: LocationIndex) -> RichLocation
Auto Trait Implementations
impl RefUnwindSafe for LocationTable
impl Send for LocationTable
impl Sync for LocationTable
impl Unpin for LocationTable
impl UnwindSafe for LocationTable
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 32 bytes