Trait rustc_middle::ty::fold::TypeVisitor

source · [−]
pub trait TypeVisitor<'tcx>: Sized {
    type BreakTy = !;
    fn visit_binder<T: TypeFoldable<'tcx>>(
        &mut self, 
        t: &Binder<'tcx, T>
    ) -> ControlFlow<Self::BreakTy> { ... }

    fn visit_ty(&mut self, t: Ty<'tcx>) -> ControlFlow<Self::BreakTy> { ... }

    fn visit_region(&mut self, r: Region<'tcx>) -> ControlFlow<Self::BreakTy> { ... }

    fn visit_const(
        &mut self, 
        c: &'tcx Const<'tcx>
    ) -> ControlFlow<Self::BreakTy> { ... }

    fn visit_unevaluated_const(
        &mut self, 
        uv: Unevaluated<'tcx>
    ) -> ControlFlow<Self::BreakTy> { ... }

    fn visit_predicate(
        &mut self, 
        p: Predicate<'tcx>
    ) -> ControlFlow<Self::BreakTy> { ... }
}

Associated Types

Provided methods

Implementors