{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// in which case the emission will be delayed as a bug.
    /// See `emit` and `delay_as_bug` for details.