{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"AlignmentCheckFailed"}]}
            AlignmentCheckFailed { .. } => const_eval_alignment_check_failed,
            DanglingIntPointer { .. } => const_eval_dangling_int_pointer,
            WriteToReadOnly(_) => const_eval_write_to_read_only,