{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"///"}]}
    /// for more info.
    /// What kind of goal we're currently computing, see the enum definition
    current_goal_kind: CurrentGoalKind,