{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"UnsupportedOpInfo::ReadPartialPointer(_)"}]}
            UnsupportedOpInfo::ReadPartialPointer(_) => const_eval_partial_pointer_copy,
            UnsupportedOpInfo::OverwritePartialPointer(_) => const_eval_partial_pointer_overwrite,
            UnsupportedOpInfo::ReadPointerAsInt(_) => const_eval_read_pointer_as_int,