Struct rustc_trait_selection::solve::inspect::analyse::InspectCandidate
source · pub struct InspectCandidate<'a, 'tcx> {
goal: &'a InspectGoal<'a, 'tcx>,
kind: ProbeKind<TyCtxt<'tcx>>,
steps: Vec<&'a ProbeStep<TyCtxt<'tcx>>>,
final_state: CanonicalState<TyCtxt<'tcx>, ()>,
result: QueryResult<'tcx>,
shallow_certainty: Certainty,
}
Fields§
§goal: &'a InspectGoal<'a, 'tcx>
§kind: ProbeKind<TyCtxt<'tcx>>
§steps: Vec<&'a ProbeStep<TyCtxt<'tcx>>>
§final_state: CanonicalState<TyCtxt<'tcx>, ()>
§result: QueryResult<'tcx>
§shallow_certainty: Certainty
Implementations§
source§impl<'a, 'tcx> InspectCandidate<'a, 'tcx>
impl<'a, 'tcx> InspectCandidate<'a, 'tcx>
pub fn kind(&self) -> ProbeKind<TyCtxt<'tcx>>
pub fn result(&self) -> Result<Certainty, NoSolution>
pub fn goal(&self) -> &'a InspectGoal<'a, 'tcx>
sourcepub fn shallow_certainty(&self) -> Certainty
pub fn shallow_certainty(&self) -> Certainty
Certainty passed into evaluate_added_goals_and_make_canonical_response
.
If this certainty is Yes
, then we must be confident that the candidate
must hold iff it’s nested goals hold. This is not true if the certainty is
Maybe(..)
, which suggests we forced ambiguity instead.
This is not the certainty of the candidate’s full nested evaluation, which
can be accessed with Self::result
instead.
sourcepub fn visit_nested_no_probe<V: ProofTreeVisitor<'tcx>>(
&self,
visitor: &mut V,
) -> V::Result
pub fn visit_nested_no_probe<V: ProofTreeVisitor<'tcx>>( &self, visitor: &mut V, ) -> V::Result
Visit all nested goals of this candidate without rolling
back their inference constraints. This function modifies
the state of the infcx
.
sourcepub fn instantiate_nested_goals(&self, span: Span) -> Vec<InspectGoal<'a, 'tcx>>
pub fn instantiate_nested_goals(&self, span: Span) -> Vec<InspectGoal<'a, 'tcx>>
Instantiate the nested goals for the candidate without rolling back their
inference constraints. This function modifies the state of the infcx
.
See Self::instantiate_nested_goals_and_opt_impl_args
if you need the impl args too.
sourcepub fn instantiate_nested_goals_and_opt_impl_args(
&self,
span: Span,
) -> (Vec<InspectGoal<'a, 'tcx>>, Option<GenericArgsRef<'tcx>>)
pub fn instantiate_nested_goals_and_opt_impl_args( &self, span: Span, ) -> (Vec<InspectGoal<'a, 'tcx>>, Option<GenericArgsRef<'tcx>>)
Instantiate the nested goals for the candidate without rolling back their
inference constraints, and optionally the args of an impl if this candidate
came from a CandidateSource::Impl
. This function modifies the state of the
infcx
.
sourcepub fn visit_nested_in_probe<V: ProofTreeVisitor<'tcx>>(
&self,
visitor: &mut V,
) -> V::Result
pub fn visit_nested_in_probe<V: ProofTreeVisitor<'tcx>>( &self, visitor: &mut V, ) -> V::Result
Visit all nested goals of this candidate, rolling back all inference constraints.
Auto Trait Implementations§
impl<'a, 'tcx> Freeze for InspectCandidate<'a, 'tcx>
impl<'a, 'tcx> !RefUnwindSafe for InspectCandidate<'a, 'tcx>
impl<'a, 'tcx> !Send for InspectCandidate<'a, 'tcx>
impl<'a, 'tcx> !Sync for InspectCandidate<'a, 'tcx>
impl<'a, 'tcx> Unpin for InspectCandidate<'a, 'tcx>
impl<'a, 'tcx> !UnwindSafe for InspectCandidate<'a, '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<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<'a, T> Captures<'a> for Twhere
T: ?Sized,
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: 184 bytes