Struct PlaceInfo 

pub struct PlaceInfo<'tcx> {
    place_to_index: FxHashMap<PlaceId, usize>,
    index_to_place: Vec<PlaceId>,
    place_to_mir: FxHashMap<PlaceId, Place<'tcx>>,
    may_drop: Vec<bool>,
    need_drop: Vec<bool>,
    num_places: usize,
}

Information about all places in a function

Fields

place_to_index: FxHashMap<PlaceId, usize>

Mapping from PlaceId to index

index_to_place: Vec<PlaceId>

Mapping from index to PlaceId

place_to_mir: FxHashMap<PlaceId, Place<'tcx>>

Mapping from PlaceId to MIR Place (when available)

may_drop: Vec<bool>

Whether each place may need drop

need_drop: Vec<bool>

Whether each place needs drop

num_places: usize

Total number of places

Implementations

impl<'tcx> PlaceInfo<'tcx>

pub fn new() -> Self

Create a new PlaceInfo with initial capacity

pub fn build(tcx: TyCtxt<'tcx>, def_id: DefId, body: &'tcx Body<'tcx>) -> Self

Build PlaceInfo from MIR body

fn create_fields_for_type( &mut self, tcx: TyCtxt<'tcx>, ty: Ty<'tcx>, base_place: PlaceId, field_depth: usize, deref_depth: usize, ty_env: TypingEnv<'tcx>, )

Recursively create field PlaceIds for a type

pub fn register_place( &mut self, place_id: PlaceId, may_drop: bool, need_drop: bool, ) -> usize

Register a new place and return its index

pub fn get_index(&self, place_id: &PlaceId) -> Option<usize>

Get the index of a place

pub fn get_place(&self, idx: usize) -> Option<&PlaceId>

Get the PlaceId for an index

pub fn may_drop(&self, idx: usize) -> bool

Check if a place may drop

pub fn need_drop(&self, idx: usize) -> bool

Check if a place needs drop

pub fn num_places(&self) -> usize

Get total number of places

pub fn associate_mir_place(&mut self, place_id: PlaceId, mir_place: Place<'tcx>)

Associate a MIR place with a PlaceId

Trait Implementations

impl<'tcx> Clone for PlaceInfo<'tcx>

fn clone(&self) -> PlaceInfo<'tcx>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.