rustc_middle::dep_graph::label_strs

Constant extra_filename

source 
pub const extra_filename: &str = "extra_filename";