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