Macro assertables::assert_fn_ge_expr

source · 
macro_rules! assert_fn_ge_expr {
    ($a_function:path, $a_param:expr, $b_expr:expr) => { ... };
    ($a_function:path, $a_param:expr, $b_expr:expr, $($message:tt)+) => { ... };
    ($a_function:path, $b_expr:expr) => { ... };
    ($a_function:path, $b_expr:expr, $($message:tt)+) => { ... };
}
Expand description

Assert a function output is greater than or equal to an expression.

  • If true, return ().

  • Otherwise, call panic! with a message and the values of the expressions with their debug representations.

Examples

// Return Ok
let a: i32 = -2;
let b: i32 = 1;
assert_fn_ge_expr!(i32::abs, a, b);
//-> ()

// Panic with error message
let result = panic::catch_unwind(|| {
let a: i32 = -1;
let b: i32 = 2;
assert_fn_ge_expr!(i32::abs, a, b);
//-> panic!
});
assert!(result.is_err());
let actual = result.unwrap_err().downcast::<String>().unwrap().to_string();
let expect = concat!(
    "assertion failed: `assert_fn_ge_expr!(left_function, left_param, right_expr)`\n",
    " left_function label: `i32::abs`,\n",
    "    left_param label: `a`,\n",
    "    left_param debug: `-1`,\n",
    "    right_expr label: `b`,\n",
    "    right_expr debug: `2`,\n",
    "                left: `1`,\n",
    "               right: `2`"
);
assert_eq!(actual, expect);