{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// `return` will set this to `Always`). In general, when entering
    /// Whether the last checked node generates a divergence (e.g.,
    /// an expression or other node in the tree, the initial value