Macro requires

Source
macro_rules! requires {
    ($($arg:tt)*) => { ... };
}
Expand description

Like invariant, but for preconditions.