Constant rustc_middle::dep_graph::label_strs::coverage_ids_info

pub const coverage_ids_info: &str = "coverage_ids_info";