Constant mir_drops_elaborated_and_const_checked

pub const mir_drops_elaborated_and_const_checked: &str = "mir_drops_elaborated_and_const_checked";