Macro assertables::assume

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

Assume a condition is true.

• When true, return Ok(true).

• Otherwise, return Err with a message and the values of the expressions with their debug representations.

Example

let x = assume!(true);
//-> Ok(true)

let x = assume!(false);
//-> Err("assumption failed: `false`")

This macro has a second form where a custom message can be provided.