Struct rustc_trait_selection::traits::PendingPredicateObligation

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

Fields

obligation: PredicateObligation<'tcx>

stalled_on: Vec<TyOrConstInferVar<'tcx>>

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

pub 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.

pub 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