Constant rustc_middle::dep_graph::label_strs::covered_code_regions

pub const covered_code_regions: &str = "covered_code_regions";