Struct rustc_type_ir::solve::inspect::GoalEvaluation
source · pub struct GoalEvaluation<I: Interner> {
pub uncanonicalized_goal: Goal<I, I::Predicate>,
pub orig_values: Vec<I::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::Predicate>
§orig_values: Vec<I::GenericArg>
§evaluation: CanonicalGoalEvaluation<I>
Trait Implementations§
source§impl<I: Interner> Hash for GoalEvaluation<I>
impl<I: Interner> Hash for GoalEvaluation<I>
source§impl<I: Interner> PartialEq for GoalEvaluation<I>
impl<I: Interner> PartialEq for GoalEvaluation<I>
impl<I: Interner> Eq for GoalEvaluation<I>
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>::CanonicalGoalEvaluationStepRef: Freeze,
<I as Interner>::PredefinedOpaques: Freeze,
<I as Interner>::ExternalConstraints: Freeze,
<I as Interner>::GenericArgs: 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>::CanonicalGoalEvaluationStepRef: RefUnwindSafe,
<I as Interner>::PredefinedOpaques: RefUnwindSafe,
<I as Interner>::GenericArg: RefUnwindSafe,
<I as Interner>::ExternalConstraints: RefUnwindSafe,
<I as Interner>::GenericArgs: 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>::CanonicalGoalEvaluationStepRef: Send,
<I as Interner>::GenericArg: Send,
<I as Interner>::PredefinedOpaques: Send,
<I as Interner>::ExternalConstraints: Send,
<I as Interner>::GenericArgs: 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>::CanonicalGoalEvaluationStepRef: Sync,
<I as Interner>::GenericArg: Sync,
<I as Interner>::PredefinedOpaques: Sync,
<I as Interner>::ExternalConstraints: Sync,
<I as Interner>::GenericArgs: 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>::CanonicalGoalEvaluationStepRef: Unpin,
<I as Interner>::PredefinedOpaques: Unpin,
<I as Interner>::GenericArg: Unpin,
<I as Interner>::ExternalConstraints: Unpin,
<I as Interner>::GenericArgs: 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>::CanonicalGoalEvaluationStepRef: UnwindSafe,
<I as Interner>::GenericArg: UnwindSafe,
<I as Interner>::PredefinedOpaques: UnwindSafe,
<I as Interner>::ExternalConstraints: UnwindSafe,
<I as Interner>::GenericArgs: 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> 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<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<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,
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.