{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// Handle the MIR coverage info in a backend-specific way.
    /// This can potentially be a no-op in backends that don't support