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

pub trait InferCtxtExt<'tcx> {
    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<'cx, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'cx, 'tcx>