{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"ty::ClauseKind::Trait(trait_predicate)"}]}
                ty::ClauseKind::Trait(trait_predicate) => DeepRejectCtxt::relate_rigid_rigid(tcx)
            match bound_predicate.skip_binder() {
                    .types_may_unify(param_ty, trait_predicate.trait_ref.self_ty())