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