Struct rustc_middle::ty::fold::BottomUpFolder

pub struct BottomUpFolder<'tcx, F, G, H> where
    F: FnMut(Ty<'tcx>) -> Ty<'tcx>,
    G: FnMut(Region<'tcx>) -> Region<'tcx>,
    H: FnMut(&'tcx Const<'tcx>) -> &'tcx Const<'tcx>,  {
    pub tcx: TyCtxt<'tcx>,
    pub ty_op: F,
    pub lt_op: G,
    pub ct_op: H,
}

Fields

tcx: TyCtxt<'tcx>

ty_op: F

lt_op: G

ct_op: H

Trait Implementations

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(&'tcx Const<'tcx>) -> &'tcx Const<'tcx>, 

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

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

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

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

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

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

fn fold_mir_const(&mut self, c: ConstantKind<'tcx>) -> ConstantKind<'tcx>

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.