Diffstat (limited to 'tests/common/walker.rs')
| -rw-r--r-- | tests/common/walker.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/common/walker.rs b/tests/common/walker.rs index c2e15b3..2c2687c 100644 --- a/tests/common/walker.rs +++ b/tests/common/walker.rs @@ -10,7 +10,7 @@ use treaty::{any::AnyTrait, build::BuilderTypes, protocol::DynVisitor, Builder, mock! { pub Walker<Output, Error, E: Environment> { - pub fn walk<'a, 'ctx>(self, visitor: DynVisitor<'a, 'ctx, E>) -> Result<Output, Error>; + pub fn walk<'a, 'lt, 'ctx>(self, visitor: DynVisitor<'a, 'lt, 'ctx, E>) -> Result<Output, Error>; // pub fn traits(&self, id: TypeNameId) -> &Option<Box<dyn for<'ctx> AnyTrait<'ctx, E>>>; // @@ -27,9 +27,9 @@ impl<'ctx, Output: DynBind<E>, Error: DynBind<E> + core::fmt::Debug, E: Environm type Output = Output; - fn walk<'a: 'c, 'c>( + fn walk<'a: 'c, 'b: 'c, 'c>( self, - visitor: DynVisitor<'a, 'ctx, E>, + visitor: DynVisitor<'a, 'b, 'ctx, E>, ) -> Canonical<'c, Result<Self::Output, Self::Error>, E> where Self: 'c, @@ -38,7 +38,7 @@ impl<'ctx, Output: DynBind<E>, Error: DynBind<E> + core::fmt::Debug, E: Environm } } -impl<'ctx, Output: DynBind<E>, Error: DynBind<E>, E: Environment> AnyTrait<'ctx> +impl<'lt, 'ctx: 'lt, Output: DynBind<E> + 'lt, Error: DynBind<E> + 'lt, E: Environment> AnyTrait<'lt, 'ctx> for MockWalker<Output, Error, E> { // fn upcast_to_id<'a>( |