Diffstat (limited to 'src/walk/walkers/core/value.rs')
| -rw-r--r-- | src/walk/walkers/core/value.rs | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/src/walk/walkers/core/value.rs b/src/walk/walkers/core/value.rs index 598e641..ce67f88 100644 --- a/src/walk/walkers/core/value.rs +++ b/src/walk/walkers/core/value.rs @@ -3,7 +3,6 @@ use crate::{ effect::{Effect, EffectiveExt as _, ErasedEffective}, never::Never, protocol::{visitor::visit_value, DynVisitor}, - WalkerTypes, }; /// A very basic walker that uses the [`Value`][crate::protocol::visitor::value::Value] protocol. @@ -35,13 +34,11 @@ impl<T: Copy> From<&T> for ValueWalker<T> { } } -impl<T> WalkerTypes for ValueWalker<T> { +impl<'ctx, T: Send + Sync + 'static, E: Effect> crate::Walker<'ctx, E> for ValueWalker<T> { type Error = Never; type Output = (); -} -impl<'ctx, T: Send + Sync + 'static, E: Effect> crate::Walker<'ctx, E> for ValueWalker<T> { #[inline(always)] fn walk<'b: 'c, 'c>( self, @@ -69,15 +66,13 @@ impl<'ctx, T: ?Sized> BorrowWalker<'ctx, T> { } } -impl<'ctx, T: ?Sized> WalkerTypes for BorrowWalker<'ctx, T> { +impl<'ctx, T: ?Sized + Send + Sync + 'static, E: Effect> crate::Walker<'ctx, E> + for BorrowWalker<'ctx, T> +{ type Error = Never; type Output = (); -} -impl<'ctx, T: ?Sized + Send + Sync + 'static, E: Effect> crate::Walker<'ctx, E> - for BorrowWalker<'ctx, T> -{ #[inline(always)] fn walk<'b: 'c, 'c>( self, |