Struct PlaceholderReplacer

pub struct PlaceholderReplacer<'a, 'db> { /* private fields */ }

The inverse of [BoundVarReplacer]: replaces placeholders with the bound vars from which they came.

Implementations

impl<'a, 'db> PlaceholderReplacer<'a, 'db>

pub fn replace_placeholders<T: TypeFoldable<DbInterner<'db>>>( infcx: &'a InferCtxt<'db>, mapped_regions: FxIndexMap<PlaceholderRegion, BoundRegion>, mapped_types: FxIndexMap<Placeholder<BoundTy>, BoundTy>, mapped_consts: FxIndexMap<PlaceholderConst, BoundVar>, universe_indices: &'a [Option<UniverseIndex>], value: T, ) -> T

Trait Implementations

impl<'db> TypeFolder<DbInterner<'db>> for PlaceholderReplacer<'_, 'db>

fn cx(&self) -> DbInterner<'db>

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

fn fold_region(&mut self, r0: Region<'db>) -> Region<'db>

fn fold_ty(&mut self, ty: Ty<'db>) -> Ty<'db>

fn fold_const(&mut self, ct: Const<'db>) -> Const<'db>

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

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