Opaque Type rustc_infer::traits::util::

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