{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"match"}]}
                                match pred.kind().skip_binder() {
                            unsatisfied_predicates.iter().any(|(pred, _, _)| {
                                    ty::PredicateKind::Clause(ty::ClauseKind::Trait(pred)) => {