{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":")),"}]}
                        )),
                            UserArgs { args: uv.args, user_self_ty: None },
                        locations.span(self.body),