{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"UserArgs"}]}
                            UserArgs { args: uv.args, user_self_ty: None },
                            uv.def,
                        )),