Constant mir_drops_elaborated_and_const_checked 

pub const mir_drops_elaborated_and_const_checked: &str = "mir_drops_elaborated_and_const_checked";