Struct BestObligation

struct BestObligation<'tcx> {
    obligation: PredicateObligation<'tcx>,
    consider_ambiguities: bool,
}

Fields

obligation: PredicateObligation<'tcx>

consider_ambiguities: bool

Implementations

impl<'tcx> BestObligation<'tcx>

fn with_derived_obligation( &mut self, derived_obligation: PredicateObligation<'tcx>, and_then: impl FnOnce(&mut Self) -> ControlFlow<Obligation<'tcx, Predicate<'tcx>>>, ) -> ControlFlow<Obligation<'tcx, Predicate<'tcx>>>

fn non_trivial_candidates<'a>( &self, goal: &'a InspectGoal<'a, 'tcx>, ) -> Vec<InspectCandidate<'a, 'tcx>>

Filter out the candidates that aren’t interesting to visit for the purposes of reporting errors. For ambiguities, we only consider candidates that may hold. For errors, we only consider candidates that don’t hold and which have impl-where clauses that also don’t hold.

Trait Implementations

impl<'tcx> ProofTreeVisitor<'tcx> for BestObligation<'tcx>

type Result = ControlFlow<Obligation<'tcx, Predicate<'tcx>>>

fn span(&self) -> Span

fn visit_goal(&mut self, goal: &InspectGoal<'_, 'tcx>) -> Self::Result

fn config(&self) -> InspectConfig

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