Trait BoundVarReplacerDelegate 

pub trait BoundVarReplacerDelegate<'tcx> {
    // Required methods
    fn replace_region(&mut self, br: BoundRegion<'tcx>) -> Region<'tcx>;
    fn replace_ty(&mut self, bt: BoundTy<'tcx>) -> Ty<'tcx>;
    fn replace_const(&mut self, bc: BoundConst<'tcx>) -> Const<'tcx>;
}

A delegate used when instantiating bound vars.

Any implementation must make sure that each bound variable always gets mapped to the same result. BoundVarReplacer caches by using a DelayedMap which does not cache the first few types it encounters.

Required Methods

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

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

fn replace_const(&mut self, bc: BoundConst<'tcx>) -> Const<'tcx>

Implementors

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