Constant rustc_middle::dep_graph::label_strs::coverageinfo

pub const coverageinfo: &str = "coverageinfo";