Diffstat (limited to 'tests/common/protocol/request_hint.rs')
| -rw-r--r-- | tests/common/protocol/request_hint.rs | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/tests/common/protocol/request_hint.rs b/tests/common/protocol/request_hint.rs index f929630..99b77a1 100644 --- a/tests/common/protocol/request_hint.rs +++ b/tests/common/protocol/request_hint.rs @@ -1,7 +1,7 @@ use effectful::{ bound::{Bool, IsSend, IsSync}, - effective::{Effective, Canonical}, - environment::{Environment}, + effective::{Canonical, Effective}, + environment::Environment, forward_send_sync, }; use mockall::mock; @@ -14,7 +14,7 @@ use treaty::{ mock! { pub RequestHintVisitor<E: Environment> { - pub fn request_hint<'a, 'lt, 'ctx>(&mut self, walker: DynWalker<'a, 'lt, 'ctx, E>) -> VisitResult; + pub fn request_hint<'r, 'src>(&'r mut self, walker: DynWalker<'r, 'src, E>) -> VisitResult; } } @@ -28,13 +28,10 @@ forward_send_sync!({} {} {E: (Environment + Send)} MockRequestHintVisitor<E>); // } impl<'ctx, E: Environment + Send> RequestHint<'ctx, E> for MockRequestHintVisitor<E> { - fn request_hint<'this: 'e, 'walker: 'e, 'lt: 'e, 'e>( - &'this mut self, - walker: DynWalker<'walker, 'lt, 'ctx, E>, - ) -> Canonical<'e, VisitResult, E> - where - 'ctx: 'this + 'walker, - { + fn request_hint<'r>( + &'r mut self, + walker: DynWalker<'r, 'ctx, E>, + ) -> Canonical<'r, VisitResult, E> { E::value(self.request_hint(walker)).cast() } } |