pub trait TypeFolder<'tcx>: FallibleTypeFolder<'tcx, Error = !> {
    fn tcx<'a>(&'a self) -> TyCtxt<'tcx>;

    fn fold_binder<T>(&mut self, t: Binder<'tcx, T>) -> Binder<'tcx, T>
    where
        T: TypeFoldable<'tcx>
, { ... } fn fold_ty(&mut self, t: Ty<'tcx>) -> Ty<'tcx> { ... } fn fold_region(&mut self, r: Region<'tcx>) -> Region<'tcx> { ... } fn fold_const(&mut self, c: Const<'tcx>) -> Const<'tcx> { ... } fn fold_predicate(&mut self, p: Predicate<'tcx>) -> Predicate<'tcx> { ... } }
Expand description

This trait is implemented for every infallible folding traversal. There is a fold method defined for every type of interest. Each such method has a default that does an “identity” fold. Implementations of these methods often fall back to a super_fold_with method if the primary argument doesn’t satisfy a particular condition.

A blanket implementation of FallibleTypeFolder will defer to the infallible methods of this trait to ensure that the two APIs are coherent.

Required Methods§

source

fn tcx<'a>(&'a self) -> TyCtxt<'tcx>

Provided Methods§

source

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

source

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

source

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

source

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

source

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

Implementors§

source§

impl<'a, 'tcx> TypeFolder<'tcx> for rustc_middle::ty::print::pretty::RegionFolder<'a, 'tcx>

source§

impl<'a, 'tcx> TypeFolder<'tcx> for SubstFolder<'a, 'tcx>

source§

impl<'a, 'tcx> TypeFolder<'tcx> for rustc_middle::ty::fold::RegionFolder<'a, 'tcx>

source§

impl<'tcx> TypeFolder<'tcx> for RegionEraserVisitor<'tcx>

source§

impl<'tcx> TypeFolder<'tcx> for NormalizeAfterErasingRegionsFolder<'tcx>

source§

impl<'tcx> TypeFolder<'tcx> for ReverseMapper<'tcx>

source§

impl<'tcx> TypeFolder<'tcx> for OpaqueTypeExpander<'tcx>

source§

impl<'tcx> TypeFolder<'tcx> for Shifter<'tcx>

source§

impl<'tcx, D> TypeFolder<'tcx> for BoundVarReplacer<'tcx, D>where
    D: BoundVarReplacerDelegate<'tcx>,

source§

impl<'tcx, F, G, H> TypeFolder<'tcx> for BottomUpFolder<'tcx, F, G, H>where
    F: FnMut(Ty<'tcx>) -> Ty<'tcx>,
    G: FnMut(Region<'tcx>) -> Region<'tcx>,
    H: FnMut(Const<'tcx>) -> Const<'tcx>,