Struct rustc_trait_selection::traits::project::AssocTypeNormalizer

pub(in traits::project) struct AssocTypeNormalizer<'a, 'b, 'tcx> {
    selcx: &'a mut SelectionContext<'b, 'tcx>,
    param_env: ParamEnv<'tcx>,
    cause: ObligationCause<'tcx>,
    obligations: &'a mut Vec<PredicateObligation<'tcx>>,
    depth: usize,
}

Fields

selcx: &'a mut SelectionContext<'b, 'tcx>

param_env: ParamEnv<'tcx>

cause: ObligationCause<'tcx>

obligations: &'a mut Vec<PredicateObligation<'tcx>>

depth: usize

Implementations

impl<'a, 'b, 'tcx> AssocTypeNormalizer<'a, 'b, 'tcx>

pub(in traits::project) fn new(
    selcx: &'a mut SelectionContext<'b, 'tcx>,
    param_env: ParamEnv<'tcx>,
    cause: ObligationCause<'tcx>,
    depth: usize,
    obligations: &'a mut Vec<PredicateObligation<'tcx>>
) -> AssocTypeNormalizer<'a, 'b, 'tcx>

pub(in traits::project) fn fold<T: TypeFoldable<'tcx>>(
    &mut self,
    value: T
) -> T

Trait Implementations

impl<'a, 'b, 'tcx> TypeFolder<'tcx> for AssocTypeNormalizer<'a, 'b, 'tcx>

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

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

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

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

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