Diffstat (limited to 'tests/common/protocol/hint.rs')
| -rw-r--r-- | tests/common/protocol/hint.rs | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/tests/common/protocol/hint.rs b/tests/common/protocol/hint.rs index 1ca94dc..89f53a6 100644 --- a/tests/common/protocol/hint.rs +++ b/tests/common/protocol/hint.rs @@ -3,7 +3,8 @@ use treaty::{ any::{any_trait, TypeName}, effect::{Effect, Effective, ErasedEffective}, protocol::{ - walker::hint::{Hint, HintMeta, HintProto, MetaHint, MetaKnown}, + visitor::VisitResult, + walker::hint::{DynVisitorWith, Hint, HintMeta, HintProto, MetaHint, MetaKnown}, DynVisitor, }, Flow, @@ -14,7 +15,7 @@ pub type KnownFactory<P> = mock! { pub HintWalker<P: HintMeta> { - pub fn hint<'a, 'b, 'c, 'ctx>(&'a mut self, visitor: &'b mut TypeName::T<'b, 'ctx, P>, hint: MetaHint<'c, 'ctx, P>) -> Flow; + pub fn hint<'a, 'b, 'c, 'ctx>(&'a mut self, visitor: DynVisitorWith<'b, 'ctx, P>, hint: MetaHint<'c, 'ctx, P>) -> VisitResult; pub fn known(&self) -> KnownFactory<P>; } @@ -30,9 +31,9 @@ any_trait! { impl<'ctx, P: HintMeta> Hint<'ctx, P> for MockHintWalker<P> { fn hint<'this, 'visitor, 'hint, 'e>( &'this mut self, - visitor: &'visitor mut TypeName::T<'visitor, 'ctx, P>, + visitor: DynVisitorWith<'visitor, 'ctx, P>, hint: MetaHint<'hint, 'ctx, P>, - ) -> ErasedEffective<'e, Flow, P::Effect> + ) -> ErasedEffective<'e, VisitResult, P::Effect> where 'ctx: 'this + 'visitor + 'hint + 'e, { |