Skip to main content

## TypeSuperVisitable

# Trait TypeSuperVisitable

Source

    pub trait TypeSuperVisitable<I: Interner>: TypeVisitable<I> {
        // Required method
        fn super_visit_with<V: TypeVisitor<I>>(&self, visitor: &mut V) -> V::Result;
    }

## Required Methods§

Source

#### fn super_visit_with<V: TypeVisitor<I>>(&self, visitor: &mut V) -> V::Result

Provides a default visit for a recursive type of interest. This should only be called within `TypeVisitor` methods, when a non-custom traversal is desired for the value of the type of interest passed to that method. For example, in `MyVisitor::visit_ty(ty)`, it is valid to call `ty.super_visit_with(self)`, but any other visiting should be done with `xyz.visit_with(self)`.

## Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

## Implementors§

Source§

### impl<I: Interner, T: TypeVisitable<I>> TypeSuperVisitable<I> for Binder<I, T>