{"ast_node_type":"function","tokens":[{"end":53,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn diagnostic_message(&self) -> DiagMessage {
    /// numbers that overflowed -- it is much easier to do so here than at runtime.
        use AssertKind::*;