Opaque Type rustc_middle::ty::subst::

type <'tcx> = impl : DoubleEndedIterator<Item = Ty<'tcx>> + 'tcx;