Trait chalk_ir::visit::SuperVisit [−][src]
pub trait SuperVisit<I: Interner>: Visit<I> {
fn super_visit_with<'i, B>(
&self,
visitor: &mut dyn Visitor<'i, I, BreakTy = B>,
outer_binder: DebruijnIndex
) -> ControlFlow<B>
where
I: 'i;
}Expand description
For types where “visit” invokes a callback on the visitor, the
SuperVisit trait captures the recursive behavior that visits all
the contents of the type.
Required methods
fn super_visit_with<'i, B>(
&self,
visitor: &mut dyn Visitor<'i, I, BreakTy = B>,
outer_binder: DebruijnIndex
) -> ControlFlow<B> where
I: 'i,
fn super_visit_with<'i, B>(
&self,
visitor: &mut dyn Visitor<'i, I, BreakTy = B>,
outer_binder: DebruijnIndex
) -> ControlFlow<B> where
I: 'i,
Recursively visits the type contents.