Diffstat (limited to 'src/walk/walkers/core/noop.rs')
| -rw-r--r-- | src/walk/walkers/core/noop.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/walk/walkers/core/noop.rs b/src/walk/walkers/core/noop.rs index 5782fbf..7cb19de 100644 --- a/src/walk/walkers/core/noop.rs +++ b/src/walk/walkers/core/noop.rs @@ -1,6 +1,6 @@ use effectful::{ - effective::Effective, - environment::{Environment, NativeForm}, + effective::{Canonical, Effective}, + environment::Environment, SendSync, }; @@ -24,10 +24,10 @@ impl<'ctx, E: Environment> crate::Walker<'ctx, E> for NoopWalker { type Output = (); - fn walk<'b: 'c, 'c>( + fn walk<'b: 'c, 'd: 'c, 'c>( self, - _visitor: DynVisitor<'b, 'ctx, E>, - ) -> NativeForm<'c, Result<Self::Output, Self::Error>, E> { + _visitor: DynVisitor<'b, 'd, 'ctx, E>, + ) -> Canonical<'c, Result<Self::Output, Self::Error>, E> { E::value(Ok(())).cast() } } |