{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"};"}]}
                    };
                        span: this.lower_span(*fn_sig_span),
                    this.lower_define_opaque(hir_id, define_opaque);