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