{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"///"}]}
    /// This is part of the Stacked Borrows model. These statements are currently only interpreted
    ///
    /// by miri and only generated when `-Z mir-emit-retag` is passed. See