{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"///"}]}
    /// numbers that overflowed -- it is much easier to do so here than at runtime.
    /// Note that we deliberately show more details here than we do at runtime, such as the actual
    pub fn diagnostic_message(&self) -> DiagMessage {