< MizarさんのAI生成コード置き場

invariant

日時はサーバーが記録したものです。更新すると更新日時が変わるので、不都合がある場合は新しく投稿してください。

#[macro_export]
macro_rules! invariant {
    ($expr: expr) => {
        debug_assert!($expr);
        if !($expr) {
            #[allow(unused_unsafe)]
            unsafe {
                core::hint::unreachable_unchecked()
            };
        }
    };
}