Struct rustc_trait_selection::traits::project::AssocTypeNormalizer

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>

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>

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

Trait Implementations

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

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

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

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

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

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

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