diff --git a/third_party/move/move-symbol-pool/src/pool.rs b/third_party/move/move-symbol-pool/src/pool.rs
index ab7c67cfe50b2..0d9fb5b96286a 100644
--- a/third_party/move/move-symbol-pool/src/pool.rs
+++ b/third_party/move/move-symbol-pool/src/pool.rs
@@ -62,8 +62,10 @@ impl Pool {
     /// Allocates a contiguous array of buckets on the heap. As strings are
     /// inserted into the pool, buckets in this array are filled with an entry.
     pub(crate) fn new() -> Self {
-        let vec = std::mem::ManuallyDrop::new(vec![0_usize; NB_BUCKETS]);
-        Self(unsafe { Box::from_raw(vec.as_ptr() as *mut [Bucket; NB_BUCKETS]) })
+        // Using const INIT, works around the fact that [None; NB_BUCKETS] not being possible
+        // because Bucket is not Copy.
+        const INIT: Bucket = None;
+        Self(Box::new([INIT; NB_BUCKETS]))
     }
 
     /// Computes the hash value of a string, which is used to determine both