struct BestObligation<'tcx> {
obligation: PredicateObligation<'tcx>,
consider_ambiguities: bool,
}
Fields§
§obligation: PredicateObligation<'tcx>
§consider_ambiguities: bool
Implementations§
Source§impl<'tcx> BestObligation<'tcx>
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>>>
Sourcefn non_trivial_candidates<'a>(
&self,
goal: &'a InspectGoal<'a, 'tcx>,
) -> Vec<InspectCandidate<'a, '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.
Sourcefn visit_well_formed_goal(
&mut self,
candidate: &InspectCandidate<'_, 'tcx>,
arg: GenericArg<'tcx>,
) -> ControlFlow<PredicateObligation<'tcx>>
fn visit_well_formed_goal( &mut self, candidate: &InspectCandidate<'_, 'tcx>, arg: GenericArg<'tcx>, ) -> ControlFlow<PredicateObligation<'tcx>>
HACK: We walk the nested obligations for a well-formed arg manually,
since there’s nontrivial logic in wf.rs
to set up an obligation cause.
Ideally we’d be able to track this better.
Sourcefn detect_error_in_self_ty_normalization(
&mut self,
goal: &InspectGoal<'_, 'tcx>,
self_ty: Ty<'tcx>,
) -> ControlFlow<PredicateObligation<'tcx>>
fn detect_error_in_self_ty_normalization( &mut self, goal: &InspectGoal<'_, 'tcx>, self_ty: Ty<'tcx>, ) -> ControlFlow<PredicateObligation<'tcx>>
If a normalization of an associated item or a trait goal fails without trying any candidates it’s likely that normalizing its self type failed. We manually detect such cases here.
Sourcefn detect_non_well_formed_assoc_item(
&mut self,
goal: &InspectGoal<'_, 'tcx>,
alias: AliasTerm<'tcx>,
) -> ControlFlow<PredicateObligation<'tcx>>
fn detect_non_well_formed_assoc_item( &mut self, goal: &InspectGoal<'_, 'tcx>, alias: AliasTerm<'tcx>, ) -> ControlFlow<PredicateObligation<'tcx>>
It is likely that NormalizesTo
failed without any applicable candidates
because the alias is not well-formed.
As we only enter RigidAlias
candidates if the trait bound of the associated type
holds, we discard these candidates in non_trivial_candidates
and always manually
check this here.
Sourcefn detect_error_from_empty_candidates(
&mut self,
goal: &InspectGoal<'_, 'tcx>,
) -> ControlFlow<PredicateObligation<'tcx>>
fn detect_error_from_empty_candidates( &mut self, goal: &InspectGoal<'_, 'tcx>, ) -> ControlFlow<PredicateObligation<'tcx>>
If we have no candidates, then it’s likely that there is a non-well-formed alias in the goal.
Trait Implementations§
Source§impl<'tcx> ProofTreeVisitor<'tcx> for BestObligation<'tcx>
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
Auto Trait Implementations§
impl<'tcx> DynSend for BestObligation<'tcx>
impl<'tcx> DynSync for BestObligation<'tcx>
impl<'tcx> Freeze for BestObligation<'tcx>
impl<'tcx> !RefUnwindSafe for BestObligation<'tcx>
impl<'tcx> Send for BestObligation<'tcx>
impl<'tcx> Sync for BestObligation<'tcx>
impl<'tcx> Unpin for BestObligation<'tcx>
impl<'tcx> !UnwindSafe for BestObligation<'tcx>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
Source§impl<T> Filterable for T
impl<T> Filterable for T
Source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
Source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
Source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
Source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T
Source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
Source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
Source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
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