Stabilise as_array in [_] and *const [_]; stabilise as_mut_array in [_] and *mut [_].

[bjoernager]

Tracking issue: #133508

Closes: #133508

This PR stabilises the as_array and as_mut_array associated functions from the core_slice_as_array feature gate:

// core::slice

impl<T> [T] {
    pub const fn as_array<const N: usize>(&self) -> Option<&[T; N]>;

    pub const fn as_mut_array<const N: usize>(&mut self) -> Option<&mut [T; N]>;
}

// core::ptr

impl<T> *const [T] {
    pub const fn as_array<const N: usize>(self) -> Option<*const [T; N]>;
}

impl<T> *mut [T] {
    pub const fn as_mut_array<const N: usize>(self) -> Option<*mut [T; N]>;
}

It also updates the feature gates and tracking issues for all items associated with the previous slice_as_array tracking issue (including these four that are being stabilised).

FCP missing.

[rustbot]

r? @ibraheemdev

rustbot has assigned @ibraheemdev.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

[bjoernager]

@rustbot label needs-fcp

[zachs18]

tidy [features]: /checkout/library/alloc/src/sync.rs:1229: feature gate slice_as_array has inconsistent `issue`: "133508" mismatches the previous `issue` of "none"

The specific tidy error is about Arc::into_array IIUC.

I think since this is a partial stabilization of feature(slice_as_array) (because it does not stabilize {Box, Rc, Arc}::into_array), it will need to change the feature name of either the newly-stable or the remaining-unstable functions to a different name, so they do not conflict.

IIUC, the intended workflow is to rename the feature on the being-stabilized functions, and leave the feature name the same on the remaining-unstable functions, like was done in #94640 (it stablized NonNull::len, and changed its feature from slice_ptr_len to slice_ptr_len_nonnull, while leaving slice_ptr_len unstable)

If you want to cherry-pick zachs18@e801f3e it should fix the tidy error I think.

[bjoernager]

Oh, I wasn't aware. Thank you!

[ibraheemdev]

r? libs-api

[bors]

☔ The latest upstream changes (presumably #148507) made this pull request unmergeable. Please resolve the merge conflicts.

[bors]

☔ The latest upstream changes (presumably #148544) made this pull request unmergeable. Please resolve the merge conflicts.

[Amanieu]

r=me once conflicts are resolved.

[rustbot]

This PR was rebased onto a different master commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

[bjoernager]

@bors r=Amanieu rollup

[bors]

@bjoernager: 🔑 Insufficient privileges: Not in reviewers

[bors]

@bjoernager: 🔑 Insufficient privileges: not in try users

[bjoernager]

@rustbot label -needs-fcp

[joboet]

@bors r=@Amanieu rollup

[bors]

📌 Commit fa8e864 has been approved by Amanieu

It is now in the queue for this repository.