{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// long as it is not equal to `?NonDiverging`.
    /// Intuitively, what we are looking for is a case where a