Opaque Type rustc_middle::traits::util::

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