{"ast_node_type":"struct","tokens":[{"end":52,"kind":"keyword","start":0,"text":"struct"}]}
struct WipCanonicalGoalEvaluationStep<I: Interner> {
#[derive_where(PartialEq, Eq, Debug; I: Interner)]
    /// Unlike `EvalCtxt::var_values`, we append a new