Struct MoveDataBuilder 

struct MoveDataBuilder<'a, 'tcx, F> {
    body: &'a Body<'tcx>,
    loc: Location,
    tcx: TyCtxt<'tcx>,
    data: MoveData<'tcx>,
    filter: F,
}

Fields

body: &'a Body<'tcx>

loc: Location

tcx: TyCtxt<'tcx>

data: MoveData<'tcx>

filter: F

Implementations

impl<'a, 'tcx, F: Fn(Ty<'tcx>) -> bool> MoveDataBuilder<'a, 'tcx, F>

fn new(body: &'a Body<'tcx>, tcx: TyCtxt<'tcx>, filter: F) -> Self

impl<'a, 'tcx, F: Fn(Ty<'tcx>) -> bool> MoveDataBuilder<'a, 'tcx, F>

fn move_path_for<G>(&mut self, place: Place<'tcx>, on_move: G)

where G: FnMut(&mut Self, MovePathIndex),

This creates a MovePath for a given place, calling on_move if it can be moved from. If theres a union in the path, its move place will be given to on_move. If there’s a subslice projection, on_move will be called for each element.

NOTE: places behind references do not get a move path, which is problematic for borrowck.

Maybe we should have separate “borrowck” and “moveck” modes.

fn add_move_path( &mut self, base: MovePathIndex, elem: MoveSubPath, mk_place: impl FnOnce(TyCtxt<'tcx>) -> Place<'tcx>, ) -> MovePathIndex

fn create_move_path(&mut self, place: Place<'tcx>)

fn finalize(self) -> MoveData<'tcx>

impl<'a, 'tcx, F: Fn(Ty<'tcx>) -> bool> MoveDataBuilder<'a, 'tcx, F>

fn gather_args(&mut self)

fn gather_statement(&mut self, stmt: &Statement<'tcx>)

fn gather_rvalue(&mut self, rvalue: &Rvalue<'tcx>)

fn gather_terminator(&mut self, term: &Terminator<'tcx>)

fn gather_operand(&mut self, operand: &Operand<'tcx>)

fn gather_move(&mut self, place: Place<'tcx>)

fn record_move(&mut self, place: Place<'tcx>, path: MovePathIndex)

fn gather_init(&mut self, place: PlaceRef<'tcx>, kind: InitKind)

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.