Struct ObligationStorage

struct ObligationStorage<'tcx> {
    overflowed: Vec<PredicateObligation<'tcx>>,
    pending: ThinVec<(PredicateObligation<'tcx>, Option<GoalStalledOn<TyCtxt<'tcx>>>)>,
}

Fields

overflowed: Vec<PredicateObligation<'tcx>>

Obligations which resulted in an overflow in fulfillment itself.

We cannot eagerly return these as error so we instead store them here to avoid recomputing them each time select_where_possible is called. This also allows us to return the correct FulfillmentError for them.

pending: ThinVec<(PredicateObligation<'tcx>, Option<GoalStalledOn<TyCtxt<'tcx>>>)>

Implementations

impl<'tcx> ObligationStorage<'tcx>

fn register( &mut self, obligation: PredicateObligation<'tcx>, stalled_on: Option<GoalStalledOn<TyCtxt<'tcx>>>, )

fn has_pending_obligations(&self) -> bool

fn clone_pending(&self) -> PredicateObligations<'tcx>

fn drain_pending( &mut self, cond: impl Fn(&PredicateObligation<'tcx>) -> bool, ) -> ThinVec<(PredicateObligation<'tcx>, Option<GoalStalledOn<TyCtxt<'tcx>>>)>

fn on_fulfillment_overflow(&mut self, infcx: &InferCtxt<'tcx>)

Trait Implementations

impl<'tcx> Debug for ObligationStorage<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx> Default for ObligationStorage<'tcx>

fn default() -> ObligationStorage<'tcx>

Returns the “default value” for a type.

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: 32 bytes