Trait rustc_middle::ty::fold::TypeVisitor

pub trait TypeVisitor<'tcx>: Sized {
    fn visit_binder<T: TypeFoldable<'tcx>>(
        &mut self, 
        t: &Binder<T>
    ) -> ControlFlow<()> { ... }
    fn visit_ty(&mut self, t: Ty<'tcx>) -> ControlFlow<()> { ... }
    fn visit_region(&mut self, r: Region<'tcx>) -> ControlFlow<()> { ... }
    fn visit_const(&mut self, c: &'tcx Const<'tcx>) -> ControlFlow<()> { ... }
    fn visit_predicate(&mut self, p: Predicate<'tcx>) -> ControlFlow<()> { ... }
}

Provided methods

fn visit_binder<T: TypeFoldable<'tcx>>(
    &mut self,
    t: &Binder<T>
) -> ControlFlow<()>

fn visit_ty(&mut self, t: Ty<'tcx>) -> ControlFlow<()>

fn visit_region(&mut self, r: Region<'tcx>) -> ControlFlow<()>

fn visit_const(&mut self, c: &'tcx Const<'tcx>) -> ControlFlow<()>

fn visit_predicate(&mut self, p: Predicate<'tcx>) -> ControlFlow<()>

Loading content...

Implementors

impl<'tcx> TypeVisitor<'tcx> for HasEscapingVarsVisitor

fn visit_binder<T: TypeFoldable<'tcx>>(
    &mut self,
    t: &Binder<T>
) -> ControlFlow<()>

fn visit_ty(&mut self, t: Ty<'tcx>) -> ControlFlow<()>

fn visit_region(&mut self, r: Region<'tcx>) -> ControlFlow<()>

fn visit_const(&mut self, ct: &'tcx Const<'tcx>) -> ControlFlow<()>

fn visit_predicate(&mut self, predicate: Predicate<'tcx>) -> ControlFlow<()>

impl<'tcx> TypeVisitor<'tcx> for HasTypeFlagsVisitor

fn visit_ty(&mut self, t: Ty<'_>) -> ControlFlow<()>

fn visit_region(&mut self, r: Region<'tcx>) -> ControlFlow<()>

fn visit_const(&mut self, c: &'tcx Const<'tcx>) -> ControlFlow<()>

fn visit_predicate(&mut self, predicate: Predicate<'tcx>) -> ControlFlow<()>

impl<'tcx> TypeVisitor<'tcx> for LateBoundRegionsCollector

fn visit_binder<T: TypeFoldable<'tcx>>(
    &mut self,
    t: &Binder<T>
) -> ControlFlow<()>

fn visit_ty(&mut self, t: Ty<'tcx>) -> ControlFlow<()>

fn visit_const(&mut self, c: &'tcx Const<'tcx>) -> ControlFlow<()>

fn visit_region(&mut self, r: Region<'tcx>) -> ControlFlow<()>

Loading content...