{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"message.push_str(\":"}]}
                message.push_str(": ");
            if let Some(panic_message) = panic_message {
                message.push_str(panic_message);