{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"///"}]}
    /// N.B., this code relies on `self.diverges` to be accurate. In particular, assignments to `!`
    ///
    /// will be permitted if the diverges flag is currently "always".