Macro const_assert_le

macro_rules! const_assert_le {
    ($x:expr, $($y:expr),+ $(,)?) => { ... };
    (@build $x:expr) => { ... };
    (@build $x:expr, $($y:expr),+) => { ... };
}

Asserts that constants are less than or equal to each other.