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.