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

pub trait TypeFolder<'tcx>: Sized {
    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: &'tcx Const<'tcx>) -> &'tcx Const<'tcx> { ... }
fn fold_mir_const(&mut self, c: ConstantKind<'tcx>) -> ConstantKind<'tcx> { ... } }
Expand description

The TypeFolder trait defines the actual folding. There is a method defined for every foldable type. Each of these has a default implementation that does an “identity” fold. Within each identity fold, it should invoke foo.fold_with(self) to fold each sub-item.

Required methods

Provided methods

Implementors