{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"///"}]}
    /// Not used directly, but helpful in debug messages.
pub(crate) struct CovfunRecord<'tcx> {
    _instance: Instance<'tcx>,