{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
    /// we don't have an operation to turn it back into `M::Provenance`.)
    /// (In fact that's not even possible since `M::ProvenanceExtra` is generic and
    #[inline(always)]