Struct rustc_traits::chalk::lowering::NamedBoundVarSubstitutor
source · struct NamedBoundVarSubstitutor<'a, 'tcx> {
tcx: TyCtxt<'tcx>,
binder_index: DebruijnIndex,
named_parameters: &'a BTreeMap<DefId, u32>,
}
Expand description
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 BrAnon
s).
Fields
tcx: TyCtxt<'tcx>
binder_index: DebruijnIndex
named_parameters: &'a BTreeMap<DefId, u32>
Implementations
Trait Implementations
sourceimpl<'a, 'tcx> TypeFolder<'tcx> for NamedBoundVarSubstitutor<'a, 'tcx>
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: Ty<'tcx>) -> Ty<'tcx>
fn fold_const(&mut self, c: Const<'tcx>) -> Const<'tcx>
fn fold_unevaluated(
&mut self,
uv: Unevaluated<'tcx, Option<Promoted>>
) -> Unevaluated<'tcx, Option<Promoted>>
fn fold_predicate(&mut self, p: Predicate<'tcx>) -> Predicate<'tcx>
fn fold_mir_const(&mut self, c: ConstantKind<'tcx>) -> ConstantKind<'tcx>
Auto Trait Implementations
impl<'a, 'tcx> !RefUnwindSafe for NamedBoundVarSubstitutor<'a, 'tcx>
impl<'a, 'tcx> !Send for NamedBoundVarSubstitutor<'a, 'tcx>
impl<'a, 'tcx> !Sync for NamedBoundVarSubstitutor<'a, 'tcx>
impl<'a, 'tcx> Unpin for NamedBoundVarSubstitutor<'a, 'tcx>
impl<'a, 'tcx> !UnwindSafe for NamedBoundVarSubstitutor<'a, 'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 24 bytes