Constant assertions in Rust

const_assert.rs

macro_rules! const_assert {
    ($($condition:expr),+ $(,)*) => {
        let _ = [(); 0 - !($($condition)&&+) as usize];
    };
    ($label:ident; $($rest:tt)+) => {
        #[allow(non_snake_case, dead_code)]
        fn $label() {
            const_assert!($($rest)+);
        }
    };
}

const_assert! { simple_math;
    2 * 2 == 2 + 2,
    5 * 2 == 10,
}

fn main() {
    // Change me to `false`
    const ASSERTION: bool = true;
    const_assert!(ASSERTION);

    const_assert!(2 + 2 == 4);
    const_assert!(5 * 5 == 25);
}

This gist is used as an example within https://nikolaivazquez.com/posts/programming/rust-static-assertions/