{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"///"}]}
    /// The `usize` is a "salt" used by Miri to make deduplication imperfect, thus better emulating
    ///
    /// the actual guarantees.