{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"pred,"}]}
                                            pred,
                                        && let ty::PredicateKind::Clause(ty::ClauseKind::Trait(
                                        )) = error.obligation.predicate.kind().skip_binder()