Diffstat (limited to 'src/walk/walkers/core/bool.rs')
| -rw-r--r-- | src/walk/walkers/core/bool.rs | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/walk/walkers/core/bool.rs b/src/walk/walkers/core/bool.rs index 5189ecc..af81c92 100644 --- a/src/walk/walkers/core/bool.rs +++ b/src/walk/walkers/core/bool.rs @@ -1,12 +1,14 @@ use effectful::{ - bound::Dynamic, effective::Effective, environment::{DynBind, Environment, NativeForm} + bound::Dynamic, + effective::Effective, + environment::{DynBind, Environment, NativeForm}, }; use crate::{any::OwnedStatic, Walk}; use super::value::ValueWalker; -impl<'ctx, M, E: Environment> Walk<'ctx, M, E> for bool +impl<'ctx, M, E: Environment> Walk<'ctx, M, E> for bool where Dynamic<bool>: DynBind<E>, Dynamic<OwnedStatic<bool>>: DynBind<E>, @@ -18,7 +20,7 @@ where } } -impl<'ctx, M, E: Environment> Walk<'ctx, M, E> for &'ctx bool +impl<'ctx, M, E: Environment> Walk<'ctx, M, E> for &'ctx bool where Dynamic<bool>: DynBind<E>, Dynamic<OwnedStatic<bool>>: DynBind<E>, |