Trait BoundVarReplacerDelegate 

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

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<DbInterner<'db>>) -> Region<'db>

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

fn replace_const(&mut self, bv: BoundConst<DbInterner<'db>>) -> Const<'db>

Implementors

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