{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"self.span.push_span_label(span,"}]}
        self.span.push_span_label(span, msg);
        let msg = self.subdiagnostic_message_to_diagnostic_message(label);
        self