Struct rustc_trait_selection::solve::fulfill::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 either error or ambiguous (depending on what we are looking for), and also throw out candidates that have no failing WC (or higher-ranked obligations, for which there should only be one candidate anyways – but I digress). This most likely means that the goal just didn’t unify at all, e.g. a param candidate with an alias in it.

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