{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"DivisionByZero"}]}
            DivisionByZero => const_eval_division_by_zero,
            BoundsCheckFailed { .. } => const_eval_bounds_check_failed,
            RemainderByZero => const_eval_remainder_by_zero,