Diffstat (limited to 'tests/common/walker.rs')
| -rw-r--r-- | tests/common/walker.rs | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/tests/common/walker.rs b/tests/common/walker.rs index 7e90b7e..b64e0f6 100644 --- a/tests/common/walker.rs +++ b/tests/common/walker.rs @@ -2,6 +2,7 @@ use effectful::{ effective::Effective, bound::{Bool, IsSend, IsSync}, environment::{Environment, NativeForm, DynBind}, + forward_send_sync, }; use mockall::mock; use treaty::{ @@ -20,14 +21,7 @@ mock! { } } -unsafe impl<Output, Error, E: Environment, F: Bool> IsSend<F> - for MockWalker<Output, Error, E> -{ -} -unsafe impl<Output, Error, E: Environment, F: Bool> IsSync<F> - for MockWalker<Output, Error, E> -{ -} +forward_send_sync!({Output, Error} {} {E: (Environment)} MockWalker<Output, Error, E>); impl<'ctx, Output: DynBind<E>, Error: DynBind<E> + core::fmt::Debug, E: Environment> Walker<'ctx, E> for MockWalker<Output, Error, E> @@ -47,7 +41,7 @@ impl<'ctx, Output: DynBind<E>, Error: DynBind<E> + core::fmt::Debug, E: Environm } } -impl<'ctx, Output, Error, E: Environment> AnyTrait<'ctx, E> for MockWalker<Output, Error, E> { +impl<'ctx, Output: DynBind<E>, Error: DynBind<E>, E: Environment> AnyTrait<'ctx, E> for MockWalker<Output, Error, E> { fn upcast_to_id<'a>( &'a self, id: TypeNameId, |