simplify default unstuff

This commit is contained in:
AF 2023-08-01 10:21:00 +00:00
parent 9a6671c711
commit e6a6dc847e

View File

@ -4,7 +4,7 @@ use super::{controlflow::ControlFlowInstance, *};
pub trait LocalFunctor<'a>: WeakFunctor<'a> { pub trait LocalFunctor<'a>: WeakFunctor<'a> {
/// Extract iteration state, if successful. /// Extract iteration state, if successful.
fn unstuff<A: 'a, B: 'a>(state: Self::F<ControlFlow<B, A>>) -> ControlFlow<Self::F<B>, A> { fn unstuff<A: 'a, B: 'a>(state: Self::F<ControlFlow<B, A>>) -> ControlFlow<Self::F<B>, A> {
Self::stuff::<_, ControlFlowInstance<A>>(state) Self::stuff::<_, ControlFlowInstance<_>>(state)
} }
/// Stuff wrapped result into another functor. /// Stuff wrapped result into another functor.