Macro static_assertions::const_assert

macro_rules! const_assert {
    ($cond:expr) => { ... };
    ($($xs:expr),+) => { ... };
    ($($xs:expr);+ $(;)*) => { ... };
}

Asserts at compile-time that the constant expression evaluates to true.

Example

const_assert!(2 + 2 == 4);

const FIVE: usize = 5;
const_assert!(FIVE - FIVE == 0);

// Fails to compile:
// const_assert!(1 >= 2);