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

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

Provided methods

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

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

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

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

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

Loading content...

Implementors

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

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

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

Loading content...