Macro const_debug_assert_le 

macro_rules! const_debug_assert_le {
    ($left: ident <= $right: expr) => { ... };
}