{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"diag.span(self.sp.shrink_to_hi());"}]}
            diag.span(self.sp.shrink_to_hi());
        } else {
            diag.span_label(self.sp.shrink_to_hi(), note);