contracts
#[test_invariant]
Same as invariant, but is only enabled in #[cfg(test)] environments.
invariant
#[cfg(test)]