Struct BoundVarReplacer 

pub struct BoundVarReplacer<'a, Infcx, I = <Infcx as InferCtxtLike>::Interner>
where
    Infcx: InferCtxtLike<Interner = I>,
    I: Interner,
{ /* private fields */ }

Implementations

impl<'a, Infcx, I> BoundVarReplacer<'a, Infcx, I>

where Infcx: InferCtxtLike<Interner = I>, I: Interner,

pub fn replace_bound_vars<T: TypeFoldable<I>>( infcx: &'a Infcx, universe_indices: &'a mut Vec<Option<UniverseIndex>>, value: T, ) -> (T, IndexMap<I::PlaceholderRegion, I::BoundRegion>, IndexMap<I::PlaceholderTy, I::BoundTy>, IndexMap<I::PlaceholderConst, I::BoundConst>)

Returns Some if we were able to replace bound vars. If there are any bound vars that use a binding level above universe_indices.len(), we fail.

Trait Implementations

impl<Infcx, I> TypeFolder<I> for BoundVarReplacer<'_, Infcx, I>

where Infcx: InferCtxtLike<Interner = I>, I: Interner,

fn cx(&self) -> I

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

fn fold_region(&mut self, r: I::Region) -> I::Region

fn fold_ty(&mut self, t: I::Ty) -> I::Ty

fn fold_const(&mut self, ct: I::Const) -> I::Const

fn fold_predicate(&mut self, p: I::Predicate) -> I::Predicate

fn fold_clauses( &mut self, c: <I as Interner>::Clauses, ) -> <I as Interner>::Clauses