Diffstat (limited to 'src/protocol/visitor.rs')
| -rw-r--r-- | src/protocol/visitor.rs | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/protocol/visitor.rs b/src/protocol/visitor.rs index aac873f..e2ed85c 100644 --- a/src/protocol/visitor.rs +++ b/src/protocol/visitor.rs @@ -88,7 +88,8 @@ pub trait EffectiveVisitExt<'lt>: Effective<'lt> { ) -> ErasedEffective<'wrap, (Ctx, VisitResult<()>), Self::Effect> where Self: Effective<'lt, Output = (Ctx, VisitResult<()>)>, - F: Ss + F: 'wrap + + Ss + for<'temp> FnOnce( &'temp mut Ctx, ) @@ -121,10 +122,11 @@ pub trait EffectiveVisitExt<'lt>: Effective<'lt> { ) -> ErasedEffective<'wrap, (Ctx, VisitResult<()>), Self::Effect> where Self: Effective<'lt, Output = (Ctx, VisitResult<()>)>, - F: for<'temp> FnOnce( - &'temp mut Ctx, - ) - -> ErasedEffective<'temp, VisitResult<()>, Self::Effect, &'ctx ()>, + F: 'wrap + + for<'temp> FnOnce( + &'temp mut Ctx, + ) + -> ErasedEffective<'temp, VisitResult<()>, Self::Effect, &'ctx ()>, 'ctx: 'lt, Ctx: Ss, F: Ss, |