Diffstat (limited to 'src/protocol/visitor/value.rs')
| -rw-r--r-- | src/protocol/visitor/value.rs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/protocol/visitor/value.rs b/src/protocol/visitor/value.rs index 6efd1c5..9967f66 100644 --- a/src/protocol/visitor/value.rs +++ b/src/protocol/visitor/value.rs @@ -3,9 +3,10 @@ //! In some sense, this is the most basic protocol. use effectful::{ - bound::{Bool, IsSend, IsSync, Dynamic}, + bound::{Bool, Dynamic, IsSend, IsSync}, effective::Effective, - environment::{DynBind, EnvConfig, Environment, NativeForm}, SendSync, + environment::{DynBind, EnvConfig, Environment, NativeForm}, + SendSync, }; use crate::{ @@ -116,7 +117,7 @@ pub fn visit_value< ) -> NativeForm<'e, VisitResult<Dynamic<T>>, E> where TypeName::HigherRanked<'e, 'ctx, T, E>: TypeName::MemberType<E>, - Dynamic<T>: DynBind<E> + Dynamic<T>: DynBind<E>, { if let Some(object) = visitor .0 |