Opaque Type rustc_infer::infer::outlives::

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