{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
    /// that the caller might push it onto the stack and start walking its
    /// state -- if it is not yet visited (`NotVisited`), return `None` so
    /// successors.