Diffstat (limited to 'tests/common/protocol/visitor.rs')
| -rw-r--r-- | tests/common/protocol/visitor.rs | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/tests/common/protocol/visitor.rs b/tests/common/protocol/visitor.rs index 652f0b2..b79596d 100644 --- a/tests/common/protocol/visitor.rs +++ b/tests/common/protocol/visitor.rs @@ -1,40 +1,40 @@ use mockall::mock; use treaty::{ - any::{any_trait, TypeName, WithContextLt}, + any::{any_trait, TypeName}, effect::{Effect, Future}, - protocol::visitor::{DynValue, Value, VisitResult}, + protocol::visitor::{ValueProto, Value, VisitResult}, Flow, }; mock! { - pub ValueVisitor<T: for<'ctx> WithContextLt::MemberType<'ctx>, E> + pub ValueVisitor<T: TypeName::MemberType, E> where - for<'a, 'ctx> WithContextLt::T<'a, 'ctx, T>: Sized + for<'a, 'ctx> TypeName::T<'a, 'ctx, T>: Sized { - pub fn visit<'a, 'ctx>(&'a mut self, value: WithContextLt::T<'a, 'ctx, T>) -> VisitResult<()>; + pub fn visit<'a, 'ctx>(&'a mut self, value: TypeName::T<'a, 'ctx, T>) -> VisitResult<()>; } } any_trait! { impl['ctx, T, E] MockValueVisitor<T, E> = [ - DynValue<'ctx, T, E> + ValueProto<T, E> ] where - T: for<'lt> TypeName::LowerType<'lt> + Send + 'ctx, - for<'a, 'lt> WithContextLt::T<'a, 'lt, T>: Clone + Sized, + T: TypeName::MemberType + Send, + for<'a, 'b> TypeName::T<'a, 'b, T>: Clone + Sized, E: Effect, } -impl<'ctx, T: for<'lt> WithContextLt::MemberType<'lt>, E: Effect> Value<'ctx, T, E> +impl<'ctx, T: TypeName::MemberType, E: Effect> Value<'ctx, T, E> for MockValueVisitor<T, E> where - for<'a, 'lt> WithContextLt::T<'a, 'lt, T>: Sized + Clone, + for<'a, 'lt> TypeName::T<'a, 'lt, T>: Sized + Clone, { fn visit<'a>( &'a mut self, - value: WithContextLt::T<'a, 'ctx, T>, - ) -> Future<'a, VisitResult<WithContextLt::T<'a, 'ctx, T>>, E> + value: TypeName::T<'a, 'ctx, T>, + ) -> Future<'a, VisitResult<TypeName::T<'a, 'ctx, T>>, E> where - WithContextLt::T<'a, 'ctx, T>: Send, + TypeName::T<'a, 'ctx, T>: Send, 'ctx: 'a, { E::ready(match self.visit(value.clone()) { |