Struct rustc_mir::dataflow::move_paths::builder::Gatherer

struct Gatherer<'b, 'a, 'tcx> {
    builder: &'b mut MoveDataBuilder<'a, 'tcx>,
    loc: Location,
}

Fields

builder: &'b mut MoveDataBuilder<'a, 'tcx>

loc: Location

Implementations

impl<'b, 'a, 'tcx> Gatherer<'b, 'a, 'tcx>

fn move_path_for(
    &mut self,
    place: Place<'tcx>
) -> Result<MovePathIndex, MoveError<'tcx>>

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>)

impl<'b, 'a, 'tcx> Gatherer<'b, 'a, 'tcx>

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)