Diffstat (limited to 'src/protocol/visitor/request_hint.rs')
| -rw-r--r-- | src/protocol/visitor/request_hint.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/protocol/visitor/request_hint.rs b/src/protocol/visitor/request_hint.rs index c7aa847..8bd8431 100644 --- a/src/protocol/visitor/request_hint.rs +++ b/src/protocol/visitor/request_hint.rs @@ -1,27 +1,27 @@ use core::ops::ControlFlow; use crate::{ - effect::{Effect, SyncEffect, Yield}, + effect::{Effect, Future}, nameable, protocol::Walker, }; /// Protocol for requesting a hint from a visitor. -pub trait RequestHint<'a, 'ctx: 'a, E: Effect<'ctx, ControlFlow<(), ()>>> { +pub trait RequestHint<'a, 'ctx: 'a, E: Effect<'ctx>> { /// 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 mut self, - walker: Walker<'a, 'ctx, E>, - ) -> Yield<'a, 'ctx, ControlFlow<(), ()>, E>; + walker: Walker<'a, 'ctx>, + ) -> Future<'a, 'ctx, ControlFlow<(), ()>, E>; } nameable! { pub struct Name['a, 'ctx, E]; impl [E] for dyn RequestHint<'a, 'ctx, E> + 'a where { - E: Effect<'ctx, ControlFlow<(), ()>>, + E: Effect<'ctx>, 'ctx: 'a } } |