Enum rustc_infer::traits::solve::inspect::GoalEvaluationKind
source · pub enum GoalEvaluationKind<'tcx> {
Root {
orig_values: Vec<GenericArg<'tcx>, Global>,
},
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>, Global>
Nested
Fields
§
is_normalizes_to_hack: IsNormalizesToHack
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
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