Diffstat (limited to 'src/protocol/visitor/recoverable.rs')
| -rw-r--r-- | src/protocol/visitor/recoverable.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/protocol/visitor/recoverable.rs b/src/protocol/visitor/recoverable.rs index e64820a..6f76d92 100644 --- a/src/protocol/visitor/recoverable.rs +++ b/src/protocol/visitor/recoverable.rs @@ -38,7 +38,10 @@ higher_ranked_type! { } pub trait RecoverableScope<'ctx, E: Effect> { - fn new_walk<'a>(&'a mut self, visitor: DynVisitor<'a, 'ctx>) -> ObjSafe<'a, Status, E>; + fn new_walk<'this: 'effect, 'visitor: 'effect, 'effect>( + &'this mut self, + visitor: DynVisitor<'visitor, 'ctx>, + ) -> ObjSafe<'effect, Status, E>; } pub type DynRecoverableScope<'a, 'ctx, E> = |