Macro leads_to_always_combine_n_with_equality_internal 

macro_rules! leads_to_always_combine_n_with_equality_internal {
    ($spec:expr, $p:expr, $dst:expr, $($tail:tt)*) => { ... };
}