{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"tpred.with_replaced_self_ty(self.tcx,"}]}
                        tpred.with_replaced_self_ty(self.tcx, new_self_ty),
                    ty::PredicateKind::Clause(ty::ClauseKind::Trait(
                    )),