diff --git a/src/librustc_borrowck/borrowck/mir/gather_moves.rs b/src/librustc_borrowck/borrowck/mir/gather_moves.rs index 135fdb838d08..1b663ef9749b 100644 --- a/src/librustc_borrowck/borrowck/mir/gather_moves.rs +++ b/src/librustc_borrowck/borrowck/mir/gather_moves.rs @@ -25,22 +25,32 @@ use super::dataflow::BitDenotation; use super::abs_domain::{AbstractElem, Lift}; -/// Index into MovePathData.move_paths -#[derive(Copy, Clone, PartialEq, Eq, Debug)] -pub struct MovePathIndex(usize); +macro_rules! new_index { + ($Index:ident, $INVALID_INDEX:ident) => { + #[derive(Copy, Clone, PartialEq, Eq, Debug)] + pub struct $Index(usize); -const INVALID_MOVE_PATH_INDEX: MovePathIndex = MovePathIndex(usize::MAX); + const $INVALID_INDEX: $Index = $Index(usize::MAX); -impl MovePathIndex { - pub fn idx(&self) -> Option { - if *self == INVALID_MOVE_PATH_INDEX { - None - } else { - Some(self.0) + impl $Index { + pub fn idx(&self) -> Option { + if *self == $INVALID_INDEX { + None + } else { + Some(self.0) + } + } } } } +/// Index into MovePathData.move_paths +new_index!(MovePathIndex, INVALID_MOVE_PATH_INDEX); + +/// Index into MoveData.moves. +new_index!(MoveOutIndex, INVALID_MOVE_OUT_INDEX); + + /// `MovePath` is a canonicalized representation of a path that is /// moved or assigned to. /// @@ -99,22 +109,6 @@ fn fmt(&self, w: &mut fmt::Formatter) -> fmt::Result { } } -/// Index into MoveData.moves. -#[derive(Copy, Clone, PartialEq, Eq, Debug)] -pub struct MoveOutIndex(usize); - -impl MoveOutIndex { - pub fn idx(&self) -> Option { - if *self == INVALID_MOVE_OUT_INDEX { - None - } else { - Some(self.0) - } - } -} - -const INVALID_MOVE_OUT_INDEX: MoveOutIndex = MoveOutIndex(usize::MAX); - pub struct MoveData<'tcx> { pub move_paths: MovePathData<'tcx>, pub moves: Vec,