rustc_middle::dep_graph::label_strs

Constant promoted_mir

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