[−][src]Trait rustc_middle::ty::fold::TypeVisitor

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

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

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

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

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

Associated Types

type BreakTy = ![src]

Loading content...

Provided methods

pub fn visit_binder<T: TypeFoldable<'tcx>>(
    &mut self,
    t: &Binder<T>
) -> ControlFlow<Self::BreakTy>[src]

pub fn visit_ty(&mut self, t: Ty<'tcx>) -> ControlFlow<Self::BreakTy>[src]

pub fn visit_region(&mut self, r: Region<'tcx>) -> ControlFlow<Self::BreakTy>[src]

pub fn visit_const(
    &mut self,
    c: &'tcx Const<'tcx>
) -> ControlFlow<Self::BreakTy>[src]

pub fn visit_predicate(
    &mut self,
    p: Predicate<'tcx>
) -> ControlFlow<Self::BreakTy>[src]

Loading content...

Implementors

impl<'tcx> TypeVisitor<'tcx> for HasEscapingVarsVisitor[src]

type BreakTy = FoundEscapingVars

impl<'tcx> TypeVisitor<'tcx> for HasTypeFlagsVisitor[src]

type BreakTy = FoundFlags

impl<'tcx> TypeVisitor<'tcx> for LateBoundRegionsCollector[src]

Loading content...