fn bounds_from_generic_predicates<'tcx>(
    tcx: TyCtxt<'tcx>,
    predicates: impl IntoIterator<Item = (Clause<'tcx>, Span)>
) -> (String, String)
Expand description

Re-sugar ty::GenericPredicates in a way suitable to be used in structured suggestions.