Macro debug_assert 

macro_rules! debug_assert {
    ($($arg:tt)*) => { ... };
}

Proxy to std::debug_assert!. Compiled with hax, this disappears.