Macro debug_assert_implies 

macro_rules! debug_assert_implies {
    ($lhs:expr, $rhs:expr) => { ... };
}

Asserts that the LHS expression implies the RHS expression.

Note that in logic, p ⟹ q is equivalent to ¬p ∨ q (i.e. !p || q).