Constant rustc_middle::dep_graph::dep_node::label_strs::coverageinfo

pub const coverageinfo: &str = "coverageinfo";