Diffstat (limited to 'tests/common/protocol/sequence.rs')
| -rw-r--r-- | tests/common/protocol/sequence.rs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/tests/common/protocol/sequence.rs b/tests/common/protocol/sequence.rs index c580f05..12b4e05 100644 --- a/tests/common/protocol/sequence.rs +++ b/tests/common/protocol/sequence.rs @@ -1,7 +1,7 @@ use effectful::{ bound::{Bool, IsSend, IsSync}, effective::Effective, - environment::{Environment, NativeForm}, + environment::{Environment, NativeForm}, forward_send_sync, }; use mockall::mock; use treaty::{ @@ -23,8 +23,7 @@ mock! { } } -unsafe impl<E: Environment, F: Bool> IsSend<F> for MockSequenceVisitor<E> {} -unsafe impl<E: Environment, F: Bool> IsSync<F> for MockSequenceVisitor<E> {} +forward_send_sync!({} {} {E: (Environment)} MockSequenceVisitor<E>); any_trait! { impl['ctx][E] MockSequenceVisitor<E> = [ @@ -49,8 +48,7 @@ mock! { } } -unsafe impl<E: Environment, F: Bool> IsSend<F> for MockSequenceScope<E> {} -unsafe impl<E: Environment, F: Bool> IsSync<F> for MockSequenceScope<E> {} +forward_send_sync!({} {} {E: (Environment)} MockSequenceScope<E>); impl<'ctx, E: Environment> SequenceScope<'ctx, E> for MockSequenceScope<E> { fn size_hint(&mut self) -> NativeForm<'_, (usize, Option<usize>), E> { |