Diffstat (limited to 'src/protocol/visitor/request_hint.rs')
| -rw-r--r-- | src/protocol/visitor/request_hint.rs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/protocol/visitor/request_hint.rs b/src/protocol/visitor/request_hint.rs index 123e187..343dcb9 100644 --- a/src/protocol/visitor/request_hint.rs +++ b/src/protocol/visitor/request_hint.rs @@ -7,12 +7,12 @@ use crate::{ }; /// Protocol for requesting a hint from a visitor. -pub trait RequestHint<'ctx, E: Effect<'ctx>> { +pub trait RequestHint<'ctx, E: Effect> { /// Call this to request a hint. /// /// `walker` is what the visitor (`self`) will call to give a hint using the /// [`Hint`][crate::builtins::walker::Hint] protocol. - fn request_hint<'a>(&'a mut self, walker: Walker<'a, 'ctx>) -> Future<'a, 'ctx, Flow, E>; + fn request_hint<'a>(&'a mut self, walker: Walker<'a, 'ctx>) -> Future<'a, Flow, E>; } bijective_higher_ranked_type! { @@ -20,7 +20,7 @@ bijective_higher_ranked_type! { for<'a> (dyn RequestHint<'ctx, E> + Send + 'a) where { - E: Effect<'ctx> + E: Effect } } @@ -29,7 +29,7 @@ bijective_higher_ranked_type! { for<'ctx> (DynRequestHint<'ctx, E>) where { - E: Effect<'ctx> + E: Effect } } @@ -40,10 +40,10 @@ bijective_higher_ranked_type! { /// If [`Flow::Done`] is returned then the visitor doesn't need any more information and the walker /// should stop walking. /// If [`Flow::Break`] is returned then there was an error and the walker should stop walking. -pub fn visit_request_hint<'a, 'ctx, E: Effect<'ctx>>( +pub fn visit_request_hint<'a, 'ctx, E: Effect>( visitor: Visitor<'a, 'ctx>, walker: Walker<'a, 'ctx>, -) -> Future<'a, 'ctx, Flow, E> { +) -> Future<'a, Flow, E> { if let Some(object) = visitor.upcast_mut::<DynRequestHint<'ctx, E>>() { // Allow the visitor to give a hint if it wants. object.request_hint(walker) |