{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":")"}]}
    ) -> GenericArgsRef<'tcx> {
        rest: impl IntoIterator<Item = GenericArg<'tcx>>,
        self.mk_args_from_iter(iter::once(self_ty.into()).chain(rest))