Diffstat (limited to 'tests/common/protocol/recoverable.rs')
| -rw-r--r-- | tests/common/protocol/recoverable.rs | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/tests/common/protocol/recoverable.rs b/tests/common/protocol/recoverable.rs index 9f98afb..0f84369 100644 --- a/tests/common/protocol/recoverable.rs +++ b/tests/common/protocol/recoverable.rs @@ -3,6 +3,7 @@ use effectful::{ bound::{Bool, IsSend, IsSync}, effective::Effective, environment::{Environment, NativeForm}, + forward_send_sync, }; use mockall::mock; use treaty::{ @@ -21,13 +22,12 @@ use treaty::{ use crate::common::Blocking; mock! { - pub RecoverableVisitor<E> { + pub RecoverableVisitor<E: Environment> { pub fn visit<'a, 'ctx>(&mut self, scope: DynRecoverableScope<'a, 'ctx, E>) -> VisitResult; } } -unsafe impl<E: Environment, F: Bool> IsSend<F> for MockRecoverableVisitor<E> {} -unsafe impl<E: Environment, F: Bool> IsSync<F> for MockRecoverableVisitor<E> {} +forward_send_sync!({} {} {E: (Environment)} MockRecoverableVisitor<E>); any_trait! { impl['ctx][E] MockRecoverableVisitor<E> = [ @@ -51,8 +51,7 @@ mock! { } } -unsafe impl<E: Environment, F: Bool> IsSend<F> for MockRecoverableScopeVisitor<E> {} -unsafe impl<E: Environment, F: Bool> IsSync<F> for MockRecoverableScopeVisitor<E> {} +forward_send_sync!({} {} {E: (Environment)} MockRecoverableScopeVisitor<E>); impl<'ctx, E: Environment> RecoverableScope<'ctx, E> for MockRecoverableScopeVisitor<E> { fn new_walk<'a: 'c, 'b: 'c, 'c>( |