Opaque Type rustc_trait_selection::traits::fulfill::

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