Constant rustc_middle::dep_graph::label_strs::index_hir[−][src]

pub const index_hir: &str = "index_hir";