Macro linera_base::ensure

macro_rules! ensure {
    ($cond:expr, $e:expr) => { ... };
}

A macro for asserting that a condition is true, returning an error if it is not.

Examples

fn divide(x: i32, y: i32) -> Result<i32, String> {
    ensure!(y != 0, "division by zero");
    Ok(x / y)
}

assert_eq!(divide(10, 2), Ok(5));
assert_eq!(divide(10, 0), Err(String::from("division by zero")));