Function rustc_trait_selection::traits::elaborate_predicates_with_span

pub fn elaborate_predicates_with_span<'tcx>(
    tcx: TyCtxt, 
    predicates: impl Iterator<Item = (Predicate, Span)>
) -> Elaborator