{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"ty::PredicateKind::Clause(ty::ClauseKind::Trait(p))"}]}
                    ty::PredicateKind::Clause(ty::ClauseKind::Trait(p))
                match predicate.kind().skip_binder() {
                        if unimplemented_traits.contains_key(&p.trait_ref.def_id) => {}