Constant rustc_middle::dep_graph::label_strs::extra_filename

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