Struct rustc_infer::infer::canonical::ir::solve::inspect::GoalEvaluation
source · pub struct GoalEvaluation<I>where
I: Interner,{
pub uncanonicalized_goal: Goal<I, <I as Interner>::Predicate>,
pub orig_values: Vec<<I as Interner>::GenericArg>,
pub evaluation: CanonicalGoalEvaluation<I>,
}
Expand description
When evaluating a goal we also store the original values
for the CanonicalVarValues
of the canonicalized goal.
We use this to map any CanonicalState from the local InferCtxt
of the solver query to the InferCtxt
of the caller.
Fields§
§uncanonicalized_goal: Goal<I, <I as Interner>::Predicate>
§orig_values: Vec<<I as Interner>::GenericArg>
§evaluation: CanonicalGoalEvaluation<I>
Trait Implementations§
source§impl<I> Hash for GoalEvaluation<I>where
I: Interner,
impl<I> Hash for GoalEvaluation<I>where
I: Interner,
source§impl<I> PartialEq for GoalEvaluation<I>where
I: Interner,
impl<I> PartialEq for GoalEvaluation<I>where
I: Interner,
impl<I> Eq for GoalEvaluation<I>where
I: Interner,
Auto Trait Implementations§
impl<I> Freeze for GoalEvaluation<I>where
<I as Interner>::ParamEnv: Freeze,
<I as Interner>::Predicate: Freeze,
<I as Interner>::DefiningOpaqueTypes: Freeze,
<I as Interner>::CanonicalVars: Freeze,
<I as Interner>::PredefinedOpaques: Freeze,
<I as Interner>::ExternalConstraints: Freeze,
<I as Interner>::GenericArgs: Freeze,
<I as Interner>::DefId: Freeze,
impl<I> RefUnwindSafe for GoalEvaluation<I>where
<I as Interner>::ParamEnv: RefUnwindSafe,
<I as Interner>::Predicate: RefUnwindSafe,
<I as Interner>::DefiningOpaqueTypes: RefUnwindSafe,
<I as Interner>::CanonicalVars: RefUnwindSafe,
<I as Interner>::GenericArg: RefUnwindSafe,
<I as Interner>::PredefinedOpaques: RefUnwindSafe,
<I as Interner>::ExternalConstraints: RefUnwindSafe,
<I as Interner>::GenericArgs: RefUnwindSafe,
<I as Interner>::DefId: RefUnwindSafe,
impl<I> Send for GoalEvaluation<I>where
<I as Interner>::ParamEnv: Send,
<I as Interner>::Predicate: Send,
<I as Interner>::DefiningOpaqueTypes: Send,
<I as Interner>::CanonicalVars: Send,
<I as Interner>::GenericArg: Send,
<I as Interner>::PredefinedOpaques: Send,
<I as Interner>::ExternalConstraints: Send,
<I as Interner>::GenericArgs: Send,
<I as Interner>::DefId: Send,
impl<I> Sync for GoalEvaluation<I>where
<I as Interner>::ParamEnv: Sync,
<I as Interner>::Predicate: Sync,
<I as Interner>::DefiningOpaqueTypes: Sync,
<I as Interner>::CanonicalVars: Sync,
<I as Interner>::GenericArg: Sync,
<I as Interner>::PredefinedOpaques: Sync,
<I as Interner>::ExternalConstraints: Sync,
<I as Interner>::GenericArgs: Sync,
<I as Interner>::DefId: Sync,
impl<I> Unpin for GoalEvaluation<I>where
<I as Interner>::ParamEnv: Unpin,
<I as Interner>::Predicate: Unpin,
<I as Interner>::DefiningOpaqueTypes: Unpin,
<I as Interner>::CanonicalVars: Unpin,
<I as Interner>::GenericArg: Unpin,
<I as Interner>::PredefinedOpaques: Unpin,
<I as Interner>::ExternalConstraints: Unpin,
<I as Interner>::GenericArgs: Unpin,
<I as Interner>::DefId: Unpin,
impl<I> UnwindSafe for GoalEvaluation<I>where
<I as Interner>::ParamEnv: UnwindSafe,
<I as Interner>::Predicate: UnwindSafe,
<I as Interner>::DefiningOpaqueTypes: UnwindSafe,
<I as Interner>::CanonicalVars: UnwindSafe,
<I as Interner>::GenericArg: UnwindSafe,
<I as Interner>::PredefinedOpaques: UnwindSafe,
<I as Interner>::ExternalConstraints: UnwindSafe,
<I as Interner>::GenericArgs: UnwindSafe,
<I as Interner>::DefId: UnwindSafe,
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
Mutably borrows from an owned value. Read more
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.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>
Creates a filterable data provider with the given name for debugging. Read more
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>
Converts
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>
Converts
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: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.