mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

make unstable Result::flatten a const fn

Browse Source
This commit is contained in:
Ralf Jung 2024-09-22 08:40:25 +02:00
parent 6ce376774c
commit 89c3cbafb8
2 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
library/core/src/option.rs
View File

@ -2538,6 +2538,7 @@ impl<T> Option<Option<T>> {
#[stable(feature = "option_flattening", since = "1.40.0")] #[stable(feature = "option_flattening", since = "1.40.0")]
#[rustc_const_unstable(feature = "const_option", issue = "67441")] #[rustc_const_unstable(feature = "const_option", issue = "67441")]
pub const fn flatten(self) -> Option<T> { pub const fn flatten(self) -> Option<T> {
// FIXME(const-hack): could be written with `and_then`
match self { match self {
Some(inner) => inner, Some(inner) => inner,
None => None, None => None,

9
library/core/src/result.rs
View File

@ -1676,8 +1676,13 @@ impl<T, E> Result<Result<T, E>, E> {
/// ``` /// ```
#[inline] #[inline]
#[unstable(feature = "result_flattening", issue = "70142")] #[unstable(feature = "result_flattening", issue = "70142")]
pub fn flatten(self) -> Result<T, E> { #[rustc_const_unstable(feature = "result_flattening", issue = "70142")]
self.and_then(convert::identity) pub const fn flatten(self) -> Result<T, E> {
// FIXME(const-hack): could be written with `and_then`
match self {
Ok(inner) => inner,
Err(e) => Err(e),
}
} }
} }