Struct WipCanonicalGoalEvaluationStep

struct WipCanonicalGoalEvaluationStep<I: Interner> {
    var_values: Vec<I::GenericArg>,
    probe_depth: usize,
    evaluation: WipProbe<I>,
}

This only exists during proof tree building and does not have a corresponding struct in inspect. We need this to track a bunch of metadata about the current evaluation.

Fields

var_values: Vec<I::GenericArg>

Unlike EvalCtxt::var_values, we append a new generic arg here whenever we create a new inference variable.

This is necessary as we otherwise don’t unify these vars when instantiating multiple CanonicalState.

probe_depth: usize

evaluation: WipProbe<I>

Implementations

impl<I: Interner> WipCanonicalGoalEvaluationStep<I>

fn current_evaluation_scope(&mut self) -> &mut WipProbe<I>

fn finalize(self) -> Probe<I>

Trait Implementations

impl<I> Debug for WipCanonicalGoalEvaluationStep<I>

where I: Interner,

fn fmt(&self, __f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<I: Interner> From<WipCanonicalGoalEvaluationStep<I>> for DebugSolver<I>

fn from(g: WipCanonicalGoalEvaluationStep<I>) -> DebugSolver<I>

Converts to this type from the input type.

impl<I> PartialEq for WipCanonicalGoalEvaluationStep<I>

where I: Interner,

fn eq(&self, __other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<I> Eq for WipCanonicalGoalEvaluationStep<I>

where I: Interner,

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.