Diffstat (limited to 'tests/common/protocol/tag.rs')
| -rw-r--r-- | tests/common/protocol/tag.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/common/protocol/tag.rs b/tests/common/protocol/tag.rs index 9ce76f3..4c17eda 100644 --- a/tests/common/protocol/tag.rs +++ b/tests/common/protocol/tag.rs @@ -2,6 +2,7 @@ use effectful::{ bound::{Bool, IsSend, IsSync}, effective::Effective, environment::{Environment, NativeForm}, + forward_send_sync, }; use mockall::mock; use treaty::{ @@ -21,6 +22,8 @@ mock! { } } +forward_send_sync!({K: (TagKind<E>)} {} {E: (Environment)} MockTagVisitor<K, E>); + any_trait! { impl['ctx, K][E] MockTagVisitor<K, E> = [ TagProto<K, E>, @@ -29,9 +32,6 @@ any_trait! { E: Environment, } -unsafe impl<K: TagKind<E>, E: Environment, F: Bool> IsSend<F> for MockTagVisitor<K, E> {} -unsafe impl<K: TagKind<E>, E: Environment, F: Bool> IsSync<F> for MockTagVisitor<K, E> {} - impl<'ctx, K: TagKind<E>, E: Environment> Tag<'ctx, K, E> for MockTagVisitor<K, E> { fn visit<'a: 'c, 'b: 'c, 'c>( &'a mut self, |