{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"inspect::GoalEvaluationKind::Overflow"}]}
                inspect::GoalEvaluationKind::Overflow
                assert!(self.final_revision.is_none());
            } else {