pub trait TypeSuperVisitable<I: Interner>: TypeVisitable<I> {
    fn super_visit_with<B>(
        &self,
        visitor: &mut dyn TypeVisitor<I, BreakTy = B>,
        outer_binder: DebruijnIndex
    ) -> ControlFlow<B>; }
Expand description

For types where “visit” invokes a callback on the visitor, the TypeSuperVisitable trait captures the recursive behavior that visits all the contents of the type.

Required Methods

Recursively visits the type contents.

Implementors

“Super visit” for a type invokes the more detailed callbacks on the type