{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":")),"}]}
                    )),
                        tpred.with_replaced_self_ty(self.tcx, new_self_ty),
                ),