Diffstat (limited to 'tests/common/protocol/value.rs')
| -rw-r--r-- | tests/common/protocol/value.rs | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/tests/common/protocol/value.rs b/tests/common/protocol/value.rs index fe470fa..038853a 100644 --- a/tests/common/protocol/value.rs +++ b/tests/common/protocol/value.rs @@ -2,6 +2,7 @@ use effectful::{ environment::{Environment, NativeForm}, bound::{Bool, IsSend, IsSync}, effective::Effective, + forward_send_sync, }; use mockall::mock; use treaty::{ @@ -24,14 +25,9 @@ mock! { } } -unsafe impl<T: TypeName::MemberType<E>, E: Environment, F: Bool> IsSend<F> for MockValueVisitor<T, E> -where - for<'a, 'ctx> TypeName::T<'a, 'ctx, T, E>: Sized - {} -unsafe impl<T: TypeName::MemberType<E>, E: Environment, F: Bool> IsSync<F> for MockValueVisitor<T, E> -where - for<'a, 'ctx> TypeName::T<'a, 'ctx, T, E>: Sized - {} +forward_send_sync!({T: (TypeName::MemberType<E>)} {} {E: (Environment)} MockValueVisitor<T, E> where { + for<'a, 'ctx> TypeName::T<'a, 'ctx, T, E>: Sized +}); any_trait! { impl['ctx, T][E] MockValueVisitor<T, E> = [ |