Macro assert_count_fails

macro_rules! assert_count_fails {
    ($type_:ty, $operation:path, $case:expr) => { ... };
    (FromBoolean($input:ident) => $output:ident, $case:expr) => { ... };
    ($operation:tt<$boolean:ident>() => $output:ident, $case:expr) => { ... };
    ($operation:tt($input:ident) => $output:ident, $case:expr) => { ... };
    ($operation:tt($input_a:ident, $input_b:ident) => $output:ident, $case:expr) => { ... };
    ($operation:tt($boolean:ident, $input_a:ident, $input_b:ident) => $output:ident, $case:expr) => { ... };
    ($operation:tt<$boolean:ident>() => $output:ident<$($parameter:ident),+>, $case:expr) => { ... };
    ($operation:tt($input:ident<$($parameter_a:ident),+>) => $output:ident<$($parameter_b:ident),+>, $case:expr) => { ... };
    ($operation:tt($input_a:ident<$($parameter_a:ident),+>, $input_b:ident<$($parameter_b:ident),+>) => $output:ident, $case:expr) => { ... };
    ($operation:tt($input_a:ident<$($parameter_a:ident),+>, $input_b:ident<$($parameter_b:ident),+>) => $output:ident<$($parameter_c:ident),+>, $case:expr) => { ... };
    ($operation:tt($boolean:ident, $input_a:ident<$($parameter_a:ident),+>, $input_b:ident<$($parameter_b:ident),+>) => $output:ident<$($parameter_c:ident),+>, $case:expr) => { ... };
}

Asserts the count for a given operation and case, and ensure the circuit is NOT satisfied.

Example

assert_count_fails!(Add(Field, Field) => Field, &(mode_a, mode_b))