rustc_type_ir::visit

Trait TypeVisitor

Source 
pub trait TypeVisitor<I: Interner>: Sized {
    type Result: VisitorResult = ();

    // Provided methods
    fn visit_binder<T: TypeVisitable<I>>(
        &mut self,
        t: &Binder<I, T>,
    ) -> Self::Result { ... }
    fn visit_ty(&mut self, t: I::Ty) -> Self::Result { ... }
    fn visit_region(&mut self, r: I::Region) -> Self::Result { ... }
    fn visit_const(&mut self, c: I::Const) -> Self::Result { ... }
    fn visit_predicate(&mut self, p: I::Predicate) -> Self::Result { ... }
    fn visit_clauses(&mut self, p: I::Clauses) -> Self::Result { ... }
    fn visit_error(&mut self, _guar: I::ErrorGuaranteed) -> Self::Result { ... }
}
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§

Source

type Result: VisitorResult = ()

Provided Methods§

Source

fn visit_binder<T: TypeVisitable<I>>( &mut self, t: &Binder<I, T>, ) -> Self::Result

Source

fn visit_ty(&mut self, t: I::Ty) -> Self::Result

Source

fn visit_region(&mut self, r: I::Region) -> Self::Result

Source

fn visit_const(&mut self, c: I::Const) -> Self::Result

Source

fn visit_predicate(&mut self, p: I::Predicate) -> Self::Result

Source

fn visit_clauses(&mut self, p: I::Clauses) -> Self::Result

Source

fn visit_error(&mut self, _guar: I::ErrorGuaranteed) -> Self::Result

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§