{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"GoalEvaluationKind::Root"}]}
            GoalEvaluationKind::Root => Some(WipGoalEvaluation {
        self.opt_nested(|| match kind {
                uncanonicalized_goal,