Diffstat (limited to 'src/protocol/visitor/value.rs')
| -rw-r--r-- | src/protocol/visitor/value.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/protocol/visitor/value.rs b/src/protocol/visitor/value.rs index 9b4c65e..11c78ff 100644 --- a/src/protocol/visitor/value.rs +++ b/src/protocol/visitor/value.rs @@ -4,7 +4,7 @@ use crate::{ any::TypeName, - effect::{Effect, ObjSafe}, + effect::{Effect, Effective, ErasedEffective}, higher_ranked_type, hkt::Marker, protocol::{ @@ -31,7 +31,7 @@ pub trait Value<'ctx, T: ?Sized + TypeName::MemberType, E: Effect> { fn visit<'a>( &'a mut self, value: TypeName::T<'a, 'ctx, T>, - ) -> ObjSafe<'a, VisitResult<TypeName::T<'a, 'ctx, T>>, E> + ) -> ErasedEffective<'a, VisitResult<TypeName::T<'a, 'ctx, T>>, E> where TypeName::T<'a, 'ctx, T>: Send + Sized, 'ctx: 'a; @@ -96,7 +96,7 @@ impl<T: TypeName::MemberType, E: Effect> HintMeta for ValueProto<T, E> { pub fn visit_value<'a, 'ctx, T: Send + TypeName::LowerType<'a, 'ctx>, E: Effect>( visitor: DynVisitor<'a, 'ctx>, value: T, -) -> ObjSafe<'a, VisitResult<T>, E> +) -> ErasedEffective<'a, VisitResult<T>, E> where TypeName::HigherRanked<'a, 'ctx, T>: TypeName::MemberType, { @@ -108,6 +108,6 @@ where object.visit(value) } else { // If the visitor doesn't support request hint then we continue. - E::ready(VisitResult::Skipped(value)).into() + E::ready(VisitResult::Skipped(value)).into_erased() } } |