{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"\")\".to_string(),"}]}
                                        ")".to_string(),
                                        self.expr_span.shrink_to_hi().to(self.cast_span),
                                    ),