Struct rustc_traits::chalk::lowering::NamedBoundVarSubstitutor

pub(in chalk::lowering) struct NamedBoundVarSubstitutor<'a, 'tcx> {
    tcx: TyCtxt<'tcx>,
    binder_index: DebruijnIndex,
    named_parameters: &'a BTreeMap<DefId, u32>,
}

This is used to replace BoundRegion::BrNamed with BoundRegion::BrAnon. Note: we assume that we will always have room for more bound vars. (i.e. we won't ever hit the u32 limit in BrAnons).

Fields

tcx: TyCtxt<'tcx>

binder_index: DebruijnIndex

named_parameters: &'a BTreeMap<DefId, u32>

Implementations

impl<'a, 'tcx> NamedBoundVarSubstitutor<'a, 'tcx>

pub(in chalk::lowering) fn new(
    tcx: TyCtxt<'tcx>,
    named_parameters: &'a BTreeMap<DefId, u32>
) -> Self

Trait Implementations

impl<'a, 'tcx> TypeFolder<'tcx> for NamedBoundVarSubstitutor<'a, '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_region(&mut self, r: Region<'tcx>) -> Region<'tcx>

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

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