Macro debug_fatal_no_invariant 

macro_rules! debug_fatal_no_invariant {
    ($msg:literal $(, $arg:expr)*) => { ... };
}