Diffstat (limited to 'src/build/builders/core/enum.rs')
| -rw-r--r-- | src/build/builders/core/enum.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/build/builders/core/enum.rs b/src/build/builders/core/enum.rs index 4294fff..7aff4cf 100644 --- a/src/build/builders/core/enum.rs +++ b/src/build/builders/core/enum.rs @@ -1,6 +1,6 @@ use core::fmt::{Debug, Display}; -use effectful::bound::{Bool, IsSend, IsSync, Dynamic}; +use effectful::bound::{Bool, Dynamic, IsSend, IsSync}; use effectful::effective::Effective; use effectful::environment::{DynBind, Environment, NativeForm}; use effectful::higher_ranked::Mut; @@ -82,7 +82,7 @@ pub trait EnumBuildInfo<'ctx, Mode, E: Environment> { impl<'ctx, Info, Mode, E: Environment> BuilderTypes<E> for EnumBuilder<'ctx, Info, Mode, E> where Info: EnumBuildInfo<'ctx, Mode, E>, - Dynamic<Info::T>: DynBind<E> + Dynamic<Info::T>: DynBind<E>, { type Seed = Info::Seed; @@ -208,7 +208,7 @@ impl<'ctx, Info, Mode, E: Environment> Value<'ctx, Info::ValueT, E> where Info: EnumBuildInfo<'ctx, Mode, E>, Dynamic<Info::T>: DynBind<E>, - for<'a> Dynamic<TypeName::T<'a, 'ctx, Info::ValueT, E>>: DynBind<E> + for<'a> Dynamic<TypeName::T<'a, 'ctx, Info::ValueT, E>>: DynBind<E>, { fn visit<'a>( &'a mut self, |