struct WipCanonicalGoalEvaluation<'tcx> {
goal: CanonicalInput<'tcx>,
kind: Option<WipCanonicalGoalEvaluationKind>,
revisions: Vec<WipGoalEvaluationStep<'tcx>>,
result: Option<QueryResult<'tcx>>,
}
Fields§
§goal: CanonicalInput<'tcx>
§kind: Option<WipCanonicalGoalEvaluationKind>
§revisions: Vec<WipGoalEvaluationStep<'tcx>>
§result: Option<QueryResult<'tcx>>
Implementations§
source§impl<'tcx> WipCanonicalGoalEvaluation<'tcx>
impl<'tcx> WipCanonicalGoalEvaluation<'tcx>
fn finalize(self) -> CanonicalGoalEvaluation<'tcx>
Trait Implementations§
source§impl<'tcx> Debug for WipCanonicalGoalEvaluation<'tcx>
impl<'tcx> Debug for WipCanonicalGoalEvaluation<'tcx>
source§impl<'tcx> From<WipCanonicalGoalEvaluation<'tcx>> for DebugSolver<'tcx>
impl<'tcx> From<WipCanonicalGoalEvaluation<'tcx>> for DebugSolver<'tcx>
source§fn from(g: WipCanonicalGoalEvaluation<'tcx>) -> DebugSolver<'tcx>
fn from(g: WipCanonicalGoalEvaluation<'tcx>) -> DebugSolver<'tcx>
Converts to this type from the input type.
source§impl<'tcx> PartialEq<WipCanonicalGoalEvaluation<'tcx>> for WipCanonicalGoalEvaluation<'tcx>
impl<'tcx> PartialEq<WipCanonicalGoalEvaluation<'tcx>> for WipCanonicalGoalEvaluation<'tcx>
source§fn eq(&self, other: &WipCanonicalGoalEvaluation<'tcx>) -> bool
fn eq(&self, other: &WipCanonicalGoalEvaluation<'tcx>) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl<'tcx> Eq for WipCanonicalGoalEvaluation<'tcx>
impl<'tcx> StructuralEq for WipCanonicalGoalEvaluation<'tcx>
impl<'tcx> StructuralPartialEq for WipCanonicalGoalEvaluation<'tcx>
Auto Trait Implementations§
impl<'tcx> !RefUnwindSafe for WipCanonicalGoalEvaluation<'tcx>
impl<'tcx> !Send for WipCanonicalGoalEvaluation<'tcx>
impl<'tcx> !Sync for WipCanonicalGoalEvaluation<'tcx>
impl<'tcx> Unpin for WipCanonicalGoalEvaluation<'tcx>
impl<'tcx> !UnwindSafe for WipCanonicalGoalEvaluation<'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: 120 bytes