{"ast_node_type":"variable","tokens":[{"end":81,"kind":"keyword","start":0,"text":"if"}]}
            if let WherePredicateKind::EqPredicate(predicate) = &predicate.kind {
            let span = predicate.span;
                deny_equality_constraints(self, predicate, span, generics);