Macro checked_assume 

macro_rules! checked_assume {
    ($condition:expr) => { ... };
    ($condition:expr, $($arg:tt)*) => { ... };
}

Equivalent to the standard assert! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes MIRAI to assume the condition unless it can prove it to be false.