Trait rustc_middle::ty::fold::BoundVarReplacerDelegate

source · [−]

pub trait BoundVarReplacerDelegate<'tcx> {
    fn replace_region(&mut self, br: BoundRegion) -> Region<'tcx>;
    fn replace_ty(&mut self, bt: BoundTy) -> Ty<'tcx>;
    fn replace_const(&mut self, bv: BoundVar, ty: Ty<'tcx>) -> Const<'tcx>;
}

Required Methods

fn replace_region(&mut self, br: BoundRegion) -> Region<'tcx>

fn replace_ty(&mut self, bt: BoundTy) -> Ty<'tcx>

fn replace_const(&mut self, bv: BoundVar, ty: Ty<'tcx>) -> Const<'tcx>

Implementors

impl<'a, 'tcx> BoundVarReplacerDelegate<'tcx> for FnMutDelegate<'a, 'tcx>