Diffstat (limited to 'tests/common/walker.rs')
| -rw-r--r-- | tests/common/walker.rs | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/tests/common/walker.rs b/tests/common/walker.rs index 41495a1..c2e15b3 100644 --- a/tests/common/walker.rs +++ b/tests/common/walker.rs @@ -1,7 +1,8 @@ use effectful::{ bound::{Bool, IsSend, IsSync}, - effective::Effective, - environment::{DynBind, Environment, NativeForm}, + effective::{Effective, Canonical}, + environment::{Environment}, + DynBind, forward_send_sync, }; use mockall::mock; @@ -17,9 +18,9 @@ mock! { } } -forward_send_sync!({Output, Error} {} {E: (Environment)} MockWalker<Output, Error, E>); +forward_send_sync!({Output, Error} {} {E: (Environment + Send)} MockWalker<Output, Error, E>); -impl<'ctx, Output: DynBind<E>, Error: DynBind<E> + core::fmt::Debug, E: Environment> Walker<'ctx, E> +impl<'ctx, Output: DynBind<E>, Error: DynBind<E> + core::fmt::Debug, E: Environment + Send> Walker<'ctx, E> for MockWalker<Output, Error, E> { type Error = Error; @@ -29,7 +30,7 @@ impl<'ctx, Output: DynBind<E>, Error: DynBind<E> + core::fmt::Debug, E: Environm fn walk<'a: 'c, 'c>( self, visitor: DynVisitor<'a, 'ctx, E>, - ) -> NativeForm<'c, Result<Self::Output, Self::Error>, E> + ) -> Canonical<'c, Result<Self::Output, Self::Error>, E> where Self: 'c, { |