Tracking Issue for feature(const_slice_split_at_mut)

[onestacked]

Feature gate: #![feature(const_slice_split_at_mut)]

This is a tracking issue for spliting mutable slices in const context.

Public API

// slice
pub const fn split_at_mut(&mut self, mid: usize) -> (&mut [T], &mut [T]);
pub const fn split_at_mut_unchecked(&mut self, mid: usize) -> (&mut [T], &mut [T]);
pub const fn split_at_mut_checked(&mut self, mid: usize) -> Option<(&mut [T], &mut [T])>;

Steps / History

• Implementation: Constify slice.split_at_mut(_unchecked) #101800
• Stabilize split_at_checked #124678
• Wait for Tracking issue for &mut T in const contexts (const_mut_refs) #57349 to be stabilized.
• Wait for Stabilize const_slice_from_raw_parts_mut #130403 since from_raw_parts_mut is used internally
• Final comment period (FCP)¹
• Stabilization PR

Unresolved Questions

• None yet.

Footnotes

1. https://std-dev-guide.rust-lang.org/feature-lifecycle/stabilization.html ↩

[RalfJung]

@rust-lang/libs-api this should be ready for stabilization now, once const_mut_refs is stable. :)

[dtolnay]

@rfcbot fcp merge

const for these 3 already-stable functions:

• https://doc.rust-lang.org/nightly/core/primitive.slice.html#method.split_at_mut
• https://doc.rust-lang.org/nightly/core/primitive.slice.html#method.split_at_mut_unchecked
• https://doc.rust-lang.org/nightly/core/primitive.slice.html#method.split_at_mut_checked

[rfcbot]

Team member @dtolnay has proposed to merge this. The next step is review by the rest of the tagged team members:

• @Amanieu
• @BurntSushi
• @dtolnay
• @joshtriplett
• @m-ou-se

No concerns currently listed.

Once a majority of reviewers approve (and at most 2 approvals are outstanding), this will enter its final comment period. If you spot a major issue that hasn't been raised at any point in this process, please speak up!

See this document for info about what commands tagged team members can give me.

[okaneco]

split_at_mut_checked's const stability was placed under this feature in #124678
https://doc.rust-lang.org/nightly/core/primitive.slice.html#method.split_at_mut_checked

[dtolnay]

Good call. Added it to the Public API description and the stabilization proposal.