Attribute Macro test_invariant 

#[test_invariant]

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