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 d012b73..772a908 100644 --- a/src/protocol/visitor/request_hint.rs +++ b/src/protocol/visitor/request_hint.rs @@ -4,18 +4,18 @@ use crate::{ }; /// Protocol for requesting a hint from a visitor. -pub trait RequestHint<'ctx, E: Effect = SyncEffect> { +pub trait RequestHint<'a, 'ctx: 'a, E: Effect<'ctx> = SyncEffect> { /// 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: &'a mut Walker<'a, 'ctx>) -> ControlFlowFor<'a, E>; + fn request_hint(&'a mut self, walker: Walker<'a, 'ctx, E>) -> ControlFlowFor<'a, 'ctx, E>; } nameable! { - pub struct Name['a, 'ctx, E]; - impl [E] for dyn RequestHint<'ctx, E> + 'a where { - E: Effect + 'static, + pub struct Name['a, 'ctx: 'a, E]; + impl [E] for dyn RequestHint<'a, 'ctx, E> + 'a where { + E: Effect<'ctx>, 'ctx: 'a } } |