Tracking Issue for `*mut [T]::split_at_mut`

[the8472]

The feature gate for the issue is #![feature(raw_slice_split)].

This is a tracking issue for the split_at_mut method on raw slice pointers

Public API

impl<T> *mut [T] {
   pub unsafe fn split_at_mut(self, mid: usize) -> (*mut [T], *mut [T]);

   pub unsafe fn split_at_mut_unchecked(self, mid: usize) -> (*mut [T], *mut [T]);
}

Steps / History

• Implementation: Additional *mut [T] methods #95594
• Final comment period (FCP)
• Stabilization PR

Unresolved Questions

• None yet.

[lukas-code]

Is there any reason why these (and is_empty) only exist for *mut [T] and not *const [T]?

[the8472]

No particular reason beyond that there only was an immediate motivating use for *mut, not one for *const.

[RalfJung]

#118231 adds is_empty to const raw pointers; a PR to do the same for the split methods would be welcome. :)