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(&mut self, place: Place<'tcx>) -> MovePathResult

This creates a MovePath for a given place, returning an MovePathError if that place can’t be moved from.

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: PlaceElem<'tcx>, 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.