Diffstat (limited to 'tests/common/builder.rs')
| -rw-r--r-- | tests/common/builder.rs | 18 |
1 files changed, 8 insertions, 10 deletions
diff --git a/tests/common/builder.rs b/tests/common/builder.rs index d4fc3c7..7a07898 100644 --- a/tests/common/builder.rs +++ b/tests/common/builder.rs @@ -1,6 +1,9 @@ use core::fmt::{Debug, Display}; use effectful::{ - bound::{Bool, Dynamic, DynamicShim, IsSend, IsSync}, effective::Effective, environment::{DynBind, Environment, NativeForm}, forward_send_sync, SendSync + bound::{Bool, Dynamic, DynamicShim, IsSend, IsSync}, + effective::Effective, + environment::{DynBind, Environment, NativeForm}, + forward_send_sync, SendSync, }; use mockall::mock; use treaty::{ @@ -72,15 +75,10 @@ impl<Seed: 'static, Value: 'static, Error: 'static, E: Environment> } } -impl< - 'ctx, - Seed: DynBind<E>, - Value, - Error: DynBind<E> + Display + Debug, - E: Environment, - > Builder<'ctx, E> for MockBuilder<Seed, Value, Error, E> +impl<'ctx, Seed: DynBind<E>, Value, Error: DynBind<E> + Display + Debug, E: Environment> + Builder<'ctx, E> for MockBuilder<Seed, Value, Error, E> where - Dynamic<Value>: DynBind<E> + Dynamic<Value>: DynBind<E>, { fn from_seed<'a>(seed: Self::Seed) -> NativeForm<'a, Self, E> where @@ -102,7 +100,7 @@ impl<'ctx, Seed, Value, Error: Display + Debug, E: Environment> AsVisitor<'ctx, where Seed: DynBind<E>, Error: DynBind<E>, - Dynamic<Value>: DynBind<E> + Dynamic<Value>: DynBind<E>, { fn as_visitor<'a>(&'a mut self) -> DynVisitor<'a, 'ctx, E> where |