{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
    /// by miri and only generated when `-Z mir-emit-retag` is passed. See
    /// This is part of the Stacked Borrows model. These statements are currently only interpreted
    /// <https://internals.rust-lang.org/t/stacked-borrows-an-aliasing-model-for-rust/8153/> for