Diffstat (limited to 'tests/common/walker.rs')
| -rw-r--r-- | tests/common/walker.rs | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/tests/common/walker.rs b/tests/common/walker.rs index b64e0f6..449a102 100644 --- a/tests/common/walker.rs +++ b/tests/common/walker.rs @@ -1,7 +1,7 @@ use effectful::{ - effective::Effective, bound::{Bool, IsSend, IsSync}, - environment::{Environment, NativeForm, DynBind}, + effective::Effective, + environment::{DynBind, Environment, NativeForm}, forward_send_sync, }; use mockall::mock; @@ -23,8 +23,8 @@ mock! { 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> +impl<'ctx, Output: DynBind<E>, Error: DynBind<E> + core::fmt::Debug, E: Environment> Walker<'ctx, E> + for MockWalker<Output, Error, E> { type Error = Error; @@ -41,7 +41,9 @@ impl<'ctx, Output: DynBind<E>, Error: DynBind<E> + core::fmt::Debug, E: Environm } } -impl<'ctx, Output: DynBind<E>, Error: DynBind<E>, 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, |