Skip to main content

promoted_mir

rustc_middle::dep_graph::label_strs

Constant promoted_mir 

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