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

pub(in dataflow::move_paths::builder) 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>

pub(in dataflow::move_paths::builder) 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.

pub(in dataflow::move_paths::builder) fn add_move_path(
    &mut self,
    base: MovePathIndex,
    elem: PlaceElem<'tcx>,
    mk_place: impl FnOnce(TyCtxt<'tcx>) -> Place<'tcx>
) -> MovePathIndex

pub(in dataflow::move_paths::builder) fn create_move_path(
    &mut self,
    place: Place<'tcx>
)

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

pub(in dataflow::move_paths::builder) fn gather_statement(
    &mut self,
    stmt: &Statement<'tcx>
)

pub(in dataflow::move_paths::builder) fn gather_rvalue(
    &mut self,
    rvalue: &Rvalue<'tcx>
)

pub(in dataflow::move_paths::builder) fn gather_terminator(
    &mut self,
    term: &Terminator<'tcx>
)

pub(in dataflow::move_paths::builder) fn gather_operand(
    &mut self,
    operand: &Operand<'tcx>
)

pub(in dataflow::move_paths::builder) fn gather_move(
    &mut self,
    place: Place<'tcx>
)

pub(in dataflow::move_paths::builder) fn record_move(
    &mut self,
    place: Place<'tcx>,
    path: MovePathIndex
)

pub(in dataflow::move_paths::builder) fn gather_init(
    &mut self,
    place: PlaceRef<'tcx>,
    kind: InitKind
)