Opaque Type rustc_trait_selection::traits::util::

type <'tcx> = impl : Iterator<Item = PredicateObligation<'tcx>>;