Diffstat (limited to 'src/walk/walkers/core/value.rs')
| -rw-r--r-- | src/walk/walkers/core/value.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/walk/walkers/core/value.rs b/src/walk/walkers/core/value.rs index eec00b5..bc6a44f 100644 --- a/src/walk/walkers/core/value.rs +++ b/src/walk/walkers/core/value.rs @@ -1,6 +1,6 @@ use crate::{ any::{BorrowedStatic, OwnedStatic}, - effect::{Adapters, Effect, ObjSafe}, + effect::{Effect, Effective, ErasedEffective}, never::Never, protocol::{visitor::visit_value, DynVisitor}, WalkerTypes, @@ -46,11 +46,11 @@ impl<'ctx, T: Send + Sync + 'static, E: Effect> crate::Walker<'ctx, E> for Value fn walk<'b: 'c, 'c>( self, visitor: DynVisitor<'b, 'ctx>, - ) -> ObjSafe<'c, Result<Self::Output, Self::Error>, E> { + ) -> ErasedEffective<'c, Result<Self::Output, Self::Error>, E> { // Attempt to visit using the value protocol. visit_value::<_, E>(visitor, OwnedStatic(self.0)) .map(|_| Ok(())) - .into() + .into_erased() // E::map( // visit_value::<_, E>(visitor, OwnedStatic(self.0)), // |_| Ok(()), @@ -84,7 +84,7 @@ impl<'ctx, T: ?Sized + Send + Sync + 'static, E: Effect> crate::Walker<'ctx, E> fn walk<'b: 'c, 'c>( self, visitor: DynVisitor<'b, 'ctx>, - ) -> ObjSafe<'c, Result<Self::Output, Self::Error>, E> { + ) -> ErasedEffective<'c, Result<Self::Output, Self::Error>, E> { // Attempt to visit using the value protocol. todo!() // E::map(visit_value::<_, E>(visitor, BorrowedStatic(self.0)), |_| { |