Opaque Type rustc_trait_selection::traits::outlives_bounds::

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