Struct rustc_mir::dataflow::move_paths::MovePath

pub struct MovePath<'tcx> {
    pub next_sibling: Option<MovePathIndex>,
    pub first_child: Option<MovePathIndex>,
    pub parent: Option<MovePathIndex>,
    pub place: Place<'tcx>,
}

MovePath is a canonicalized representation of a path that is moved or assigned to.

It follows a tree structure.

Given struct X { m: M, n: N } and x: X, moves like drop x.m; move out of the place x.m.

The MovePaths representing x.m and x.n are siblings (that is, one of them will link to the other via the next_sibling field, and the other will have no entry in its next_sibling field), and they both have the MovePath representing x as their parent.

Fields

next_sibling: Option<MovePathIndex>

first_child: Option<MovePathIndex>

parent: Option<MovePathIndex>

place: Place<'tcx>

Implementations

impl<'tcx> MovePath<'tcx>

pub fn parents<'a>(
    &self,
    move_paths: &'a IndexVec<MovePathIndex, MovePath<'tcx>>
) -> impl 'a + Iterator<Item = (MovePathIndex, &'a MovePath<'tcx>)>

Returns an iterator over the parents of self.

pub fn children<'a>(
    &self,
    move_paths: &'a IndexVec<MovePathIndex, MovePath<'tcx>>
) -> impl 'a + Iterator<Item = (MovePathIndex, &'a MovePath<'tcx>)>

Returns an iterator over the immediate children of self.

pub fn find_descendant(
    &self,
    move_paths: &IndexVec<MovePathIndex, MovePath<'_>>,
    f: impl Fn(MovePathIndex) -> bool
) -> Option<MovePathIndex>

Finds the closest descendant of self for which f returns true using a breadth-first search.

f will not be called on self.

Trait Implementations

impl<'tcx> Clone for MovePath<'tcx>

pub fn clone(&self) -> MovePath<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for MovePath<'tcx>

pub fn fmt(&self, w: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx> Display for MovePath<'tcx>

pub fn fmt(&self, w: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.