verify_unreachable

mirai_annotations

Macro verify_unreachable 

Source 
macro_rules! verify_unreachable {
    () => { ... };
    ($message:literal) => { ... };
    ($msg:expr,) => { ... };
    ($fmt:expr, $($arg:tt)*) => { ... };
}
Expand description

Equivalent to unreachable! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes MIRAI to verify that the annotation statement cannot be reached.