Opaque Type rustc_trait_selection::traits::object_safety::

type <'tcx> = impl : 'tcx + Iterator<Item = Span>;