Trait BoundVarReplacerDelegate 

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

A delegate used when instantiating bound vars.

Each bound variable must always map to the same result. BoundVarReplacer caches folded types and may not call the delegate on every visit.

Required Methods

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

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

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

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<I: Interner> BoundVarReplacerDelegate<I> for FnMutDelegate<'_, I>