Constant rustc_middle::dep_graph::label_strs::covered_file_name

pub const covered_file_name: &str = "covered_file_name";