{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"Some(DebugSolver::CanonicalGoalEvaluationStep(state))"}]}
            Some(DebugSolver::CanonicalGoalEvaluationStep(state)) => {
        match self.as_mut() {
                state