Enum rustc_middle::traits::solve::inspect::GoalEvaluationKind
source · pub enum GoalEvaluationKind<'tcx> {
Root {
orig_values: Vec<GenericArg<'tcx>>,
},
Nested {
is_normalizes_to_hack: IsNormalizesToHack,
},
}
Expand description
When evaluating the root goals 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.
Variants§
Root
Fields
§
orig_values: Vec<GenericArg<'tcx>>
Nested
Fields
§
is_normalizes_to_hack: IsNormalizesToHack
Trait Implementations§
source§impl<'tcx> PartialEq<GoalEvaluationKind<'tcx>> for GoalEvaluationKind<'tcx>
impl<'tcx> PartialEq<GoalEvaluationKind<'tcx>> for GoalEvaluationKind<'tcx>
source§fn eq(&self, other: &GoalEvaluationKind<'tcx>) -> bool
fn eq(&self, other: &GoalEvaluationKind<'tcx>) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl<'tcx> Eq for GoalEvaluationKind<'tcx>
impl<'tcx> StructuralEq for GoalEvaluationKind<'tcx>
impl<'tcx> StructuralPartialEq for GoalEvaluationKind<'tcx>
Auto Trait Implementations§
impl<'tcx> !RefUnwindSafe for GoalEvaluationKind<'tcx>
impl<'tcx> Send for GoalEvaluationKind<'tcx>
impl<'tcx> Sync for GoalEvaluationKind<'tcx>
impl<'tcx> Unpin for GoalEvaluationKind<'tcx>
impl<'tcx> !UnwindSafe for GoalEvaluationKind<'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
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<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<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> 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: &[QueryInfo], _guar: ErrorGuaranteed ) -> 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: 24 bytes
Size for each variant:
Root
: 24 bytesNested
: 9 bytes