Macro combine_spec_entails_always_n 

macro_rules! combine_spec_entails_always_n {
    [$($tail:tt)*] => { ... };
}