Macro assume 

macro_rules! assume {
    ($e:expr $(,)?) => { ... };
    ($e:expr, $($t:tt)+) => { ... };
}

Available on crate feature evm only.

Macro for asserting assumptions in debug builds. In debug builds, this will trigger unreachable code if the assumption is false. In release builds, this serves as an optimization hint.