Diffstat (limited to 'src/build/builders/core.rs')
| -rw-r--r-- | src/build/builders/core.rs | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/build/builders/core.rs b/src/build/builders/core.rs index fa5da7d..a865c25 100644 --- a/src/build/builders/core.rs +++ b/src/build/builders/core.rs @@ -1,14 +1,13 @@ use effectful::{ effective::Effective, environment::{Environment, NativeForm}, - higher_ranked::Mut, SendSync, }; use crate::{ - any_trait, + any::AnyTrait, protocol::{visitor::VisitResult, DynVisitor}, - DynWalkerObjSafe, + walk::DynWalkerObjSafe, }; // pub mod array; @@ -31,9 +30,7 @@ impl NoopVisitor { } } -any_trait! { - impl['ctx][E] NoopVisitor = [] where E: Environment -} +impl<'ctx> AnyTrait<'ctx> for NoopVisitor {} impl NoopVisitor { pub fn walk_dyn<'ctx: 'e, 'walker: 'e, 'e, E: Environment>( |