Struct rustc_traits::chalk::lowering::NamedBoundVarSubstitutor

struct NamedBoundVarSubstitutor<'a, 'tcx> {
    tcx: TyCtxt<'tcx>,
    binder_index: DebruijnIndex,
    named_parameters: &'a BTreeMap<DefId, u32>,
}

This is used to replace BoundRegionKind::BrNamed with BoundRegionKind::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>

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

Trait Implementations

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

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

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

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

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

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

fn fold_mir_const(&mut self, c: ConstantKind<'tcx>) -> ConstantKind<'tcx>