{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// "exposing"). This penalizes the optimiser and is not well suited for
    /// docs of [`ptr::with_exposed_provenance`] for more information about this
    /// dynamic analysis/dynamic program verification (e.g. Miri or CHERI