Diffstat (limited to 'src/protocol/visitor/request_hint.rs')
| -rw-r--r-- | src/protocol/visitor/request_hint.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/protocol/visitor/request_hint.rs b/src/protocol/visitor/request_hint.rs index e8c4d6d..f60005e 100644 --- a/src/protocol/visitor/request_hint.rs +++ b/src/protocol/visitor/request_hint.rs @@ -1,6 +1,6 @@ use crate::{ any::TypeName, - effect::{Effect, ObjSafe}, + effect::{Effect, Effective, ErasedEffective}, higher_ranked_type, hkt::Marker, protocol::{DynVisitor, DynWalker}, @@ -17,7 +17,7 @@ pub trait RequestHint<'ctx, E: Effect> { fn request_hint<'a>( &'a mut self, walker: DynWalker<'a, 'ctx>, - ) -> ObjSafe<'a, VisitResult<DynWalker<'a, 'ctx>>, E>; + ) -> ErasedEffective<'a, VisitResult<DynWalker<'a, 'ctx>>, E>; } pub struct RequestHintProto<E: Effect>(Marker<E>); @@ -48,12 +48,12 @@ higher_ranked_type! { pub fn visit_request_hint<'a, 'ctx, E: Effect>( visitor: DynVisitor<'a, 'ctx>, walker: DynWalker<'a, 'ctx>, -) -> ObjSafe<'a, VisitResult<DynWalker<'a, 'ctx>>, E> { +) -> ErasedEffective<'a, VisitResult<DynWalker<'a, 'ctx>>, E> { if let Some(object) = visitor.0.upcast_mut::<RequestHintProto<E>>() { // Allow the visitor to give a hint if it wants. object.request_hint(walker) } else { // If the visitor doesn't support request hint then we continue. - E::ready(VisitResult::Skipped(walker)).into() + E::ready(VisitResult::Skipped(walker)).into_erased() } } |