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