Struct rustc_trait_selection::traits::query::normalize::QueryNormalizer

pub(in traits::query::normalize) struct QueryNormalizer<'cx, 'tcx> {
    infcx: &'cx InferCtxt<'cx, 'tcx>,
    cause: &'cx ObligationCause<'tcx>,
    param_env: ParamEnv<'tcx>,
    obligations: Vec<PredicateObligation<'tcx>>,
    cache: SsoHashMap<Ty<'tcx>, Ty<'tcx>>,
    error: bool,
    anon_depth: usize,
}

Fields

infcx: &'cx InferCtxt<'cx, 'tcx>

cause: &'cx ObligationCause<'tcx>

param_env: ParamEnv<'tcx>

obligations: Vec<PredicateObligation<'tcx>>

cache: SsoHashMap<Ty<'tcx>, Ty<'tcx>>

error: bool

anon_depth: usize

Trait Implementations

impl<'cx, 'tcx> TypeFolder<'tcx> for QueryNormalizer<'cx, '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