Struct rustc_traits::chalk::lowering::ParamsSubstitutor

pub(crate) struct ParamsSubstitutor<'tcx> {
    tcx: TyCtxt<'tcx>,
    binder_index: DebruijnIndex,
    list: Vec<ParamTy>,
    next_ty_placeholder: usize,
    pub(crate) params: FxHashMap<usize, ParamTy>,
    pub(crate) named_regions: BTreeMap<DefId, u32>,
}

Used to substitute Params with placeholders. We do this since Chalk have a notion of Params.

Fields

tcx: TyCtxt<'tcx>

binder_index: DebruijnIndex

list: Vec<ParamTy>

next_ty_placeholder: usize

params: FxHashMap<usize, ParamTy>

named_regions: BTreeMap<DefId, u32>

Implementations

impl<'tcx> ParamsSubstitutor<'tcx>

pub(crate) fn new(tcx: TyCtxt<'tcx>, next_ty_placeholder: usize) -> Self

Trait Implementations

impl<'tcx> TypeFolder<'tcx> for ParamsSubstitutor<'tcx>

pub fn tcx<'b>(&'b self) -> TyCtxt<'tcx>

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

pub fn fold_ty(&mut self, t: Ty<'tcx>) -> Ty<'tcx>

pub fn fold_region(&mut self, r: Region<'tcx>) -> Region<'tcx>

pub fn fold_const(&mut self, c: &'tcx Const<'tcx>) -> &'tcx Const<'tcx>