{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"///"}]}
    /// (In fact that's not even possible since `M::ProvenanceExtra` is generic and
    /// the returned data back into a `Pointer` and store that in machine state.
    /// we don't have an operation to turn it back into `M::Provenance`.)