{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":")"}]}
    ) -> GenericArgsRef<'tcx> {
        args: impl IntoIterator<Item: Into<GenericArg<'tcx>>>,
        let args = self.mk_args_from_iter(args.into_iter().map(Into::into));