{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// Format the diagnostic message for use in a lint (e.g. when the assertion fails during const-eval).
    /// Needs to be kept in sync with the run-time behavior (which is defined by