Diffstat (limited to 'tests/common/protocol/tag.rs')
| -rw-r--r-- | tests/common/protocol/tag.rs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/tests/common/protocol/tag.rs b/tests/common/protocol/tag.rs index cd79a05..8c589d0 100644 --- a/tests/common/protocol/tag.rs +++ b/tests/common/protocol/tag.rs @@ -18,7 +18,7 @@ use treaty::{ mock! { pub TagVisitor<K: TagKind<E>, E: Environment> { - pub fn visit<'a, 'ctx>(&'a mut self, kind: K, walker: DynWalkerObjSafe<'a, 'ctx, E>) -> VisitResult; + pub fn visit<'a, 'lt, 'ctx>(&'a mut self, kind: K, walker: DynWalkerObjSafe<'a, 'lt, 'ctx, E>) -> VisitResult; } } @@ -33,25 +33,25 @@ forward_send_sync!({K: (TagKind<E> + Send)} {} {E: (Environment + Send)} MockTag // } impl<'ctx, K: TagKind<E> + Send, E: Environment + Send> Tag<'ctx, K, E> for MockTagVisitor<K, E> { - fn visit<'a: 'c, 'b: 'c, 'c>( + fn visit<'a: 'c, 'b: 'c, 'd: 'c, 'c>( &'a mut self, kind: K, - walker: DynWalkerObjSafe<'b, 'ctx, E>, + walker: DynWalkerObjSafe<'b, 'd, 'ctx, E>, ) -> Canonical<'c, VisitResult, E> { E::value(self.visit(kind, walker)).cast() } } -pub trait TagVisitorExt<'ctx> { +pub trait TagVisitorExt<'lt, 'ctx> { fn visit_tag_and_done<'a, T: ConstTagKind<BlockingSpin>, W: Walker<'ctx, BlockingSpin>>( &'a mut self, walker: W, ); } -impl<'ctx, T> TagVisitorExt<'ctx> for T +impl<'lt, 'ctx, T> TagVisitorExt<'lt, 'ctx> for T where - T: AsVisitor<'ctx, BlockingSpin>, + T: AsVisitor<'lt, 'ctx, BlockingSpin>, { fn visit_tag_and_done<'a, Tag: ConstTagKind<BlockingSpin>, W: Walker<'ctx, BlockingSpin>>( &'a mut self, |