user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Constify ControlFlow methods (unstable bounds)

Browse source
This commit is contained in:
nxsaken 2025-10-30 13:59:39 +04:00
parent acda5e9f9a
commit 852bd86d17
1 changed files with 21 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

25
library/core/src/ops/control_flow.rs
View file

@ -1,3 +1,4 @@
use crate::marker::Destruct;
use crate::{convert, ops};
/// Used to tell an operation whether it should exit early or go on as usual.
@ -183,7 +184,11 @@ impl<B, C> ControlFlow<B, C> {
/// ```
#[inline]
#[stable(feature = "control_flow_enum", since = "1.83.0")]
pub fn break_value(self) -> Option<B> {
#[rustc_const_unstable(feature = "const_control_flow", issue = "none")]
pub const fn break_value(self) -> Option<B>
where
Self: [const] Destruct,
{
match self {
ControlFlow::Continue(..) => None,
ControlFlow::Break(x) => Some(x),
@ -268,7 +273,11 @@ impl<B, C> ControlFlow<B, C> {
/// to the break value in case it exists.
#[inline]
#[stable(feature = "control_flow_enum", since = "1.83.0")]
pub fn map_break<T>(self, f: impl FnOnce(B) -> T) -> ControlFlow<T, C> {
#[rustc_const_unstable(feature = "const_control_flow", issue = "none")]
pub const fn map_break<T, F>(self, f: F) -> ControlFlow<T, C>
where
F: [const] FnOnce(B) -> T + [const] Destruct,
{
match self {
ControlFlow::Continue(x) => ControlFlow::Continue(x),
ControlFlow::Break(x) => ControlFlow::Break(f(x)),
@ -288,7 +297,11 @@ impl<B, C> ControlFlow<B, C> {
/// ```
#[inline]
#[stable(feature = "control_flow_enum", since = "1.83.0")]
pub fn continue_value(self) -> Option<C> {
#[rustc_const_unstable(feature = "const_control_flow", issue = "none")]
pub const fn continue_value(self) -> Option<C>
where
Self: [const] Destruct,
{
match self {
ControlFlow::Continue(x) => Some(x),
ControlFlow::Break(..) => None,
@ -372,7 +385,11 @@ impl<B, C> ControlFlow<B, C> {
/// to the continue value in case it exists.
#[inline]
#[stable(feature = "control_flow_enum", since = "1.83.0")]
pub fn map_continue<T>(self, f: impl FnOnce(C) -> T) -> ControlFlow<B, T> {
#[rustc_const_unstable(feature = "const_control_flow", issue = "none")]
pub const fn map_continue<T, F>(self, f: F) -> ControlFlow<B, T>
where
F: [const] FnOnce(C) -> T + [const] Destruct,
{
match self {
ControlFlow::Continue(x) => ControlFlow::Continue(f(x)),
ControlFlow::Break(x) => ControlFlow::Break(x),