forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of rust-lang#102186 - ink-feather-org:const_try_trait, r…
…=fee1-dead Add const_closure, Constify Try trait Adds a struct for creating const `FnMut` closures (for now just copy pasted form my [const_closure](https://crates.io/crates/const_closure) crate). I'm not sure if this way is how it should be done. The `ConstFnClosure` and `ConstFnOnceClosure` structs can probably also be entirely removed. This is then used to constify the try trait. Not sure if i should add const_closure in its own pr and maybe make it public behind a perma-unstable feature gate. cc `@fee1-dead` `@rust-lang/wg-const-eval`
- Loading branch information
Showing
9 changed files
with
104 additions
and
21 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,63 @@ | ||
use crate::marker::Destruct; | ||
|
||
/// Struct representing a closure with mutably borrowed data. | ||
/// | ||
/// Example: | ||
/// ```no_build | ||
/// #![feature(const_mut_refs)] | ||
/// use crate::const_closure::ConstFnMutClosure; | ||
/// const fn imp(state: &mut i32, (arg,): (i32,)) -> i32 { | ||
/// *state += arg; | ||
/// *state | ||
/// } | ||
/// let mut i = 5; | ||
/// let mut cl = ConstFnMutClosure::new(&mut i, imp); | ||
/// | ||
/// assert!(7 == cl(2)); | ||
/// assert!(8 == cl(1)); | ||
/// ``` | ||
pub(crate) struct ConstFnMutClosure<'a, CapturedData: ?Sized, Function> { | ||
data: &'a mut CapturedData, | ||
func: Function, | ||
} | ||
|
||
impl<'a, CapturedData: ?Sized, Function> ConstFnMutClosure<'a, CapturedData, Function> { | ||
/// Function for creating a new closure. | ||
/// | ||
/// `data` is the a mutable borrow of data that is captured from the environment. | ||
/// | ||
/// `func` is the function of the closure, it gets the data and a tuple of the arguments closure | ||
/// and return the return value of the closure. | ||
pub(crate) const fn new<ClosureArguments, ClosureReturnValue>( | ||
data: &'a mut CapturedData, | ||
func: Function, | ||
) -> Self | ||
where | ||
Function: ~const Fn(&mut CapturedData, ClosureArguments) -> ClosureReturnValue, | ||
{ | ||
Self { data, func } | ||
} | ||
} | ||
|
||
impl<'a, CapturedData: ?Sized, ClosureArguments, Function, ClosureReturnValue> const | ||
FnOnce<ClosureArguments> for ConstFnMutClosure<'a, CapturedData, Function> | ||
where | ||
Function: | ||
~const Fn(&mut CapturedData, ClosureArguments) -> ClosureReturnValue + ~const Destruct, | ||
{ | ||
type Output = ClosureReturnValue; | ||
|
||
extern "rust-call" fn call_once(mut self, args: ClosureArguments) -> Self::Output { | ||
self.call_mut(args) | ||
} | ||
} | ||
|
||
impl<'a, CapturedData: ?Sized, ClosureArguments, Function, ClosureReturnValue> const | ||
FnMut<ClosureArguments> for ConstFnMutClosure<'a, CapturedData, Function> | ||
where | ||
Function: ~const Fn(&mut CapturedData, ClosureArguments) -> ClosureReturnValue, | ||
{ | ||
extern "rust-call" fn call_mut(&mut self, args: ClosureArguments) -> Self::Output { | ||
(self.func)(self.data, args) | ||
} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters