Macro assert_scope

macro_rules! assert_scope {
    () => { ... };
    ($num_constants:expr, $num_public:expr, $num_private:expr, $num_constraints:expr) => { ... };
    (<=$num_constants:expr, $num_public:expr, $num_private:expr, $num_constraints:expr) => { ... };
    (<=$num_constants:expr, <=$num_public:expr, <=$num_private:expr, <=$num_constraints:expr) => { ... };
    ($case:expr, $num_constants:expr, $num_public:expr, $num_private:expr, $num_constraints:expr) => { ... };
}