rustc_mir_dataflow::move_paths

Trait HasMoveData

source
pub trait HasMoveData<'tcx> {
    // Required method
    fn move_data(&self) -> &MoveData<'tcx>;
}

Required Methods§

source

fn move_data(&self) -> &MoveData<'tcx>

Implementors§

source§

impl<'a, 'tcx> HasMoveData<'tcx> for DefinitelyInitializedPlaces<'a, 'tcx>

source§

impl<'a, 'tcx> HasMoveData<'tcx> for MaybeInitializedPlaces<'a, 'tcx>

source§

impl<'tcx> HasMoveData<'tcx> for EverInitializedPlaces<'_, 'tcx>

source§

impl<'tcx> HasMoveData<'tcx> for MaybeUninitializedPlaces<'_, 'tcx>