Trait TypeVisitor 

pub trait TypeVisitor: Sized {
    type BreakTy = !;

    // Provided methods
    fn enter_binder(&mut self, _vars: &BoundVariableKinds) { ... }
    fn exit_binder(&mut self) { ... }
    fn visit_expr(&mut self, expr: &Expr) -> ControlFlow<Self::BreakTy> { ... }
    fn visit_sort(&mut self, sort: &Sort) -> ControlFlow<Self::BreakTy> { ... }
    fn visit_ty(&mut self, ty: &Ty) -> ControlFlow<Self::BreakTy> { ... }
    fn visit_bty(&mut self, bty: &BaseTy) -> ControlFlow<Self::BreakTy> { ... }
}

Provided Associated Types

type BreakTy = !

Provided Methods

fn enter_binder(&mut self, _vars: &BoundVariableKinds)

fn exit_binder(&mut self)

fn visit_expr(&mut self, expr: &Expr) -> ControlFlow<Self::BreakTy>

fn visit_sort(&mut self, sort: &Sort) -> ControlFlow<Self::BreakTy>

fn visit_ty(&mut self, ty: &Ty) -> ControlFlow<Self::BreakTy>

fn visit_bty(&mut self, bty: &BaseTy) -> ControlFlow<Self::BreakTy>

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