Tracking Issue for const `ControlFlow` methods requiring `const_trait_impl`

[nxsaken]

Feature gate: #![feature(const_control_flow)]

This is a tracking issue for const ControlFlow methods where the constification depends on #143874. See also: #148738.

Public API

// core::ops::control_flow

impl<B, C> ControlFlow<B, C> {
    pub const fn break_value(self) -> Option<B>
    where
        Self: [const] Destruct;

    pub const fn map_break<T, F>(self, f: F) -> ControlFlow<T, C>
    where
        F: [const] FnOnce(B) -> T + [const] Destruct;

    pub const fn continue_value(self) -> Option<C>
    where
        Self: [const] Destruct;

    pub const fn map_continue<T, F>(self, f: F) -> ControlFlow<B, T>
    where
        F: [const] FnOnce(C) -> T + [const] Destruct;
}

Steps / History

(Remember to update the S-tracking-* label when checking boxes.)

• Implementation: Constify ControlFlow methods with unstable bounds #148285
• Final comment period (FCP)¹
• Stabilization PR

Unresolved Questions

• None yet.

Footnotes

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

[nxsaken]

@rustbot label -S-tracking-unimplemented +S-tracking-blocked