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>

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