{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
    /// a flag set to true when we perform any unifications; this is used
    /// to micro-optimize `take_and_reset_data`