Struct ObligationStorage

struct ObligationStorage<'tcx> {
    overflowed: Vec<PredicateObligation<'tcx>>,
    pending: Vec<PredicateObligation<'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: Vec<PredicateObligation<'tcx>>

Implementations

impl<'tcx> ObligationStorage<'tcx>

fn register(&mut self, obligation: PredicateObligation<'tcx>)

fn clone_pending(&self) -> Vec<PredicateObligation<'tcx>>

fn take_pending(&mut self) -> Vec<PredicateObligation<'tcx>>

fn unstalled_for_select( &mut self, ) -> impl Iterator<Item = PredicateObligation<'tcx>>

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

Trait Implementations

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