Tracking Issue for `alloc_slice_into_array`.

[bjoernager]

Feature gate: #![feature(alloc_slice_into_array)]

Branched from: #133508

This is a tracking issue for adding conversion functions going from allocated slices to allocated arrays.

Public API

// alloc::boxed

impl<T> Box<[T]> {
    pub fn into_array<const N: usize>(self) -> Result<Box<[T; N]>, Self>;
}

// alloc::rc

impl<T> Rc<[T]> {
    pub fn into_array<const N: usize>(self) -> Result<Rc<[T; N]>, Self>;
}

// alloc::sync

impl<T> Arc<[T]> {
    pub fn into_array<const N: usize>(self) -> Result<Arc<[T; N]>, Self>;
}

// alloc::vec

impl<T> Vec<T> {
    pub fn into_array<const N: usize>(self) -> Result<Box<[T; N]>, Self>;
}

Steps / History

• API change proposal (ACP): #496
• Implementation:
  • Implementation for Box<[_]>, Rc<[_]>, and Arc<[_]>: Add into_array conversion destructors for Box, Rc, and Arc. #134379
  • Update feature gates and tracking issues in source: Stabilise as_array in [_] and *const [_]; stabilise as_mut_array in [_] and *mut [_]. #147540
  • Support custom allocators: Make Box/Rc/Arc::into_array allocator-aware (and add doctest) #154925
  • Reimplementation for using Result instead of Option: Fix doc typo in Vec::into_array and convert Arc/Box/Rc::into_arry to -> Result #156810
  • Implementation for Vec<_>: implement into_array for Vec<T> #156234
• Final comment period (FCP)
• Stabilisation

Unresolved Questions

• const-compatibility?
• Option or Result? : Result (assumed.)
• Implementations for Mutex and RwLock?
• Vec::into_boxed_array?
• String::into_boxed_bytes_array?