competitive/tools/
invariant.rs

1#[macro_export]
2macro_rules! invariant {
3    ($e:expr) => {
4        debug_assert!($e);
5        if !$e {
6            unsafe { ::core::hint::unreachable_unchecked() }
7        }
8    };
9}