destructure_const

rustc_middle::dep_graph::dep_node::label_strs

Constant destructure_const 

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