Macro assertables::assume_ge[][src]

macro_rules! assume_ge {
    ($left:expr, $right:expr $(,)?) => { ... };
    ($left:expr, $right:expr, $($arg:tt)+) => { ... };
}

Assume one value is greater than or equal to another value.

  • 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_ge!(2, 1);
//-> Ok(true)
let x = assume_ge!(1, 2);
//-> Err("assumption failed: `assume_ge(left, right)`\n  left: `1`\n right: `2`")

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