pub trait TypeSuperVisitable<'tcx>: TypeVisitable<'tcx> {
    fn super_visit_with<V: TypeVisitor<'tcx>>(
        &self,
        visitor: &mut V
    ) -> ControlFlow<V::BreakTy>; }

Required Methods§

source

fn super_visit_with<V: TypeVisitor<'tcx>>(
    &self,
    visitor: &mut V
) -> ControlFlow<V::BreakTy>

Provides a default visit for a 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).

Implementors§

source§

impl<'tcx> TypeSuperVisitable<'tcx> for UnevaluatedConst<'tcx>

source§

impl<'tcx> TypeSuperVisitable<'tcx> for Const<'tcx>

source§

impl<'tcx> TypeSuperVisitable<'tcx> for Predicate<'tcx>

source§

impl<'tcx> TypeSuperVisitable<'tcx> for Ty<'tcx>

source§

impl<'tcx> TypeSuperVisitable<'tcx> for Region<'tcx>

source§

impl<'tcx, T: TypeVisitable<'tcx>> TypeSuperVisitable<'tcx> for Binder<'tcx, T>