fn predicate_constraint(
    generics: &Generics<'_>,
    pred: Predicate<'_>,
) -> (Span, String)