Diffstat (limited to 'src/mock/protocol/value.rs')
| -rw-r--r-- | src/mock/protocol/value.rs | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/mock/protocol/value.rs b/src/mock/protocol/value.rs index 99ba045..eca11ee 100644 --- a/src/mock/protocol/value.rs +++ b/src/mock/protocol/value.rs @@ -1,7 +1,7 @@ use mockall::mock; use crate::{ - any::{MaybeSized, TypeName}, + any::{TypeName, WithContextLt}, any_trait, effect::{Effect, Future}, protocol::visitor::value::{DynValue, Value}, @@ -9,11 +9,11 @@ use crate::{ }; mock! { - pub ValueVisitor<T: for<'ctx> MaybeSized::Trait<'ctx>, E> + pub ValueVisitor<T: for<'ctx> WithContextLt::MemberType<'ctx>, E> where - for<'a, 'ctx> MaybeSized::T<'a, 'ctx, T>: Sized + for<'a, 'ctx> WithContextLt::T<'a, 'ctx, T>: Sized { - pub fn visit<'a, 'ctx>(&'a mut self, value: MaybeSized::T<'a, 'ctx, T>) -> Flow; + pub fn visit<'a, 'ctx>(&'a mut self, value: WithContextLt::T<'a, 'ctx, T>) -> Flow; } } @@ -21,18 +21,18 @@ any_trait! { impl['ctx, T, E] MockValueVisitor<T, E> = [ DynValue<'ctx, T, E> ] where - T: for<'lt> TypeName::Member<'lt> + 'ctx, - for<'a, 'lt> MaybeSized::T<'a, 'lt, T>: Sized, + T: for<'lt> TypeName::LowerType<'lt> + 'ctx, + for<'a, 'lt> WithContextLt::T<'a, 'lt, T>: Sized, E: Effect<'ctx>, } -impl<'ctx, T: for<'lt> MaybeSized::Trait<'lt>, E: Effect<'ctx>> Value<'ctx, T, E> +impl<'ctx, T: for<'lt> WithContextLt::MemberType<'lt>, E: Effect<'ctx>> Value<'ctx, T, E> for MockValueVisitor<T, E> where - for<'a, 'lt> MaybeSized::T<'a, 'lt, T>: Sized, + for<'a, 'lt> WithContextLt::T<'a, 'lt, T>: Sized, { #[track_caller] - fn visit<'a>(&'a mut self, value: MaybeSized::T<'a, 'ctx, T>) -> Future<'a, 'ctx, Flow, E> { + fn visit<'a>(&'a mut self, value: WithContextLt::T<'a, 'ctx, T>) -> Future<'a, 'ctx, Flow, E> { E::ready(self.visit(value)) } } |