Struct NormalizationFolder 

struct NormalizationFolder<'me, 'db> {
    at: At<'me, 'db>,
    fulfill_cx: FulfillmentCtxt<'db>,
    depth: usize,
    universes: Vec<Option<UniverseIndex>>,
    stalled_coroutine_goals: Vec<Goal<'db, Predicate<'db>>>,
}

Fields

at: At<'me, 'db>

fulfill_cx: FulfillmentCtxt<'db>

depth: usize

universes: Vec<Option<UniverseIndex>>

stalled_coroutine_goals: Vec<Goal<'db, Predicate<'db>>>

Implementations

impl<'db> NormalizationFolder<'_, 'db>

fn normalize_alias_term( &mut self, alias_term: Term<'db>, ) -> Result<Term<'db>, Vec<NextSolverError<'db>>>

fn select_all_and_stall_coroutine_predicates( &mut self, ) -> Result<(), Vec<NextSolverError<'db>>>

Trait Implementations

impl<'db> FallibleTypeFolder<DbInterner<'db>> for NormalizationFolder<'_, 'db>

type Error = Vec<NextSolverError<'db>>

fn cx(&self) -> DbInterner<'db>

fn try_fold_binder<T: TypeFoldable<DbInterner<'db>>>( &mut self, t: Binder<'db, T>, ) -> Result<Binder<'db, T>, Self::Error>

fn try_fold_ty(&mut self, ty: Ty<'db>) -> Result<Ty<'db>, Self::Error>

fn try_fold_const(&mut self, ct: Const<'db>) -> Result<Const<'db>, Self::Error>

fn try_fold_region( &mut self, r: <I as Interner>::Region, ) -> Result<<I as Interner>::Region, Self::Error>

fn try_fold_predicate( &mut self, p: <I as Interner>::Predicate, ) -> Result<<I as Interner>::Predicate, Self::Error>

fn try_fold_clauses( &mut self, c: <I as Interner>::Clauses, ) -> Result<<I as Interner>::Clauses, Self::Error>