Opaque Type rustc_middle::ty::sty::

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