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