Tracking Issue for `const_binary_search`

Feature gate: #![feature(const_binary_search)]

This is a tracking issue for constifying the family of binary search functions on slice.

Public API

// core::slice

impl<T> [T] {
    pub const fn binary_search(&self, x: &T) -> Result<usize, usize>
    where
        T: [const] Ord,

    pub const fn binary_search_by<'a, F>(&'a self, mut f: F) -> Result<usize, usize>
    where
        F: [const] FnMut(&'a T) -> Ordering + [const] Destruct,

    pub const fn binary_search_by_key<'a, B, F>(&'a self, b: &B, mut f: F) -> Result<usize, usize>
    where
        F: [const] FnMut(&'a T) -> B + [const] Destruct,
        B: [const] Ord + [const] Destruct,

    pub const fn partition_point<P>(&self, mut pred: P) -> usize
    where
        P: [const] FnMut(&T) -> bool + [const] Destruct,
}

Steps / History

• Implementation: #159528
• Final comment period (FCP)^1
• Stabilization PR

Unresolved Questions

• None yet.

The tracked APIs are in core::slice; start by reviewing implementation PR #159528 and the listed public signatures. Done means the final comment period completes and a stabilization PR is opened.