Trait rustc_trait_selection::traits::query::evaluate_obligation::InferCtxtExt

pub trait InferCtxtExt<'tcx> {
    // Required methods
    fn predicate_may_hold(&self, obligation: &PredicateObligation<'tcx>) -> bool;
    fn predicate_must_hold_considering_regions(
        &self,
        obligation: &PredicateObligation<'tcx>
    ) -> bool;
    fn predicate_must_hold_modulo_regions(
        &self,
        obligation: &PredicateObligation<'tcx>
    ) -> bool;
    fn evaluate_obligation(
        &self,
        obligation: &PredicateObligation<'tcx>
    ) -> Result<EvaluationResult, OverflowError>;
    fn evaluate_obligation_no_overflow(
        &self,
        obligation: &PredicateObligation<'tcx>
    ) -> EvaluationResult;
}

Required Methods

fn predicate_may_hold(&self, obligation: &PredicateObligation<'tcx>) -> bool

fn predicate_must_hold_considering_regions( &self, obligation: &PredicateObligation<'tcx> ) -> bool

fn predicate_must_hold_modulo_regions( &self, obligation: &PredicateObligation<'tcx> ) -> bool

fn evaluate_obligation( &self, obligation: &PredicateObligation<'tcx> ) -> Result<EvaluationResult, OverflowError>

fn evaluate_obligation_no_overflow( &self, obligation: &PredicateObligation<'tcx> ) -> EvaluationResult

Implementors

impl<'tcx> InferCtxtExt<'tcx> for InferCtxt<'tcx>