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