pub trait TypeVisitor<I>: Sized
where I: Interner,
{ type BreakTy = !; // Provided methods fn visit_binder<T>( &mut self, t: &<I as Interner>::Binder<T> ) -> ControlFlow<Self::BreakTy> where T: TypeVisitable<I> { ... } fn visit_ty(&mut self, t: <I as Interner>::Ty) -> ControlFlow<Self::BreakTy> { ... } fn visit_region( &mut self, _r: <I as Interner>::Region ) -> ControlFlow<Self::BreakTy> { ... } fn visit_const( &mut self, c: <I as Interner>::Const ) -> ControlFlow<Self::BreakTy> { ... } fn visit_predicate( &mut self, p: <I as Interner>::Predicate ) -> ControlFlow<Self::BreakTy> { ... } }
Expand description

This trait is implemented for every visiting traversal. There is a visit method defined for every type of interest. Each such method has a default that recurses into the type’s fields in a non-custom fashion.

Provided Associated Types§

Provided Methods§

source

fn visit_binder<T>( &mut self, t: &<I as Interner>::Binder<T> ) -> ControlFlow<Self::BreakTy>
where T: TypeVisitable<I>,

source

fn visit_ty(&mut self, t: <I as Interner>::Ty) -> ControlFlow<Self::BreakTy>

source

fn visit_region( &mut self, _r: <I as Interner>::Region ) -> ControlFlow<Self::BreakTy>

source

fn visit_const( &mut self, c: <I as Interner>::Const ) -> ControlFlow<Self::BreakTy>

source

fn visit_predicate( &mut self, p: <I as Interner>::Predicate ) -> ControlFlow<Self::BreakTy>

Object Safety§

This trait is not object safe.

Implementors§