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