Opaque Type rustc_borrowck::universal_regions::

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