pop_unchecked

src/arrayvec.rs

@@ -345,6 +345,13 @@ impl<T, const CAP: usize> ArrayVec<T, CAP> {
         ArrayVecImpl::pop(self)
     }
 
+    /// Remove the last element in the vector and return it.
+    ///
+    /// It is up to the caller to ensure the the vector is not empty.
+    pub unsafe fn pop_unchecked(&mut self) -> T {
+        ArrayVecImpl::pop_unchecked(self)
+    }
+
     /// Remove the element at `index` and swap the last element into its place.
     ///
     /// This operation is O(1).

src/arrayvec_impl.rs

@@ -61,11 +61,13 @@ pub(crate) trait ArrayVecImpl {
         if self.len() == 0 {
             return None;
         }
-        unsafe {
-            let new_len = self.len() - 1;
-            self.set_len(new_len);
-            Some(ptr::read(self.as_ptr().add(new_len)))
-        }
+        unsafe { Some(self.pop_unchecked()) }
+    }
+
+    unsafe fn pop_unchecked(&mut self) -> Self::Item {
+        let new_len = self.len() - 1;
+        self.set_len(new_len);
+        ptr::read(self.as_ptr().add(new_len))
     }
 
     fn clear(&mut self) {