{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
    /// After we finished evaluating this is moved into `kind`.
    pub encountered_overflow: bool,
    pub final_revision: Option<WipCanonicalGoalEvaluationStep<I>>,