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 IndexSlice<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 IndexSlice<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: &IndexSlice<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>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

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

Formats the value using the given formatter.

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