Opaque Type rustc_infer::infer::undo_log::

type <'tcx> = impl : Iterator<Item = &UndoLog<'tcx>> + Clone;