{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// - Level::DelayedBug: this does happen occasionally with errors that are
    ///   `Some(ErrorGuaranteed)`.
    ///   downgraded to delayed bugs. It is not stashed, but immediately