Opaque Type rustc_trait_selection::traits::

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