{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"DebugSolver::CanonicalGoalEvaluationStep(_)"}]}
                DebugSolver::CanonicalGoalEvaluationStep(_) => {
                DebugSolver::Root => *this = *goal_evaluation.state.unwrap(),
                    assert!(goal_evaluation.state.is_none())