Opaque Type rustc_trait_selection::traits::specialize::specialization_graph::

type  = impl : Iterator<Item = DefId> + '_;