Struct PendingPredicateObligation

pub struct PendingPredicateObligation<'tcx> {
    pub obligation: PredicateObligation<'tcx>,
    pub stalled_on: Vec<TyOrConstInferVar>,
}

Fields

obligation: PredicateObligation<'tcx>

stalled_on: Vec<TyOrConstInferVar>

Trait Implementations

impl<'tcx> Clone for PendingPredicateObligation<'tcx>

fn clone(&self) -> PendingPredicateObligation<'tcx>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for PendingPredicateObligation<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> ForestObligation for PendingPredicateObligation<'tcx>

type CacheKey = ParamEnvAnd<'tcx, Predicate<'tcx>>

Note that we include both the ParamEnv and the Predicate, as the ParamEnv can influence whether fulfillment succeeds or fails.

fn as_cache_key(&self) -> Self::CacheKey

Converts this ForestObligation suitable for use as a cache key. If two distinct ForestObligationss return the same cache key, then it must be sound to use the result of processing one obligation (e.g. success for error) for the other obligation

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