Opaque Type rustc_mir_dataflow::move_paths::

type <'a, 'tcx> = impl : 'a + Iterator<Item = (MovePathIndex, &'a MovePath<'tcx>)>;