Macro combine_spec_entails_always_n_internal 

macro_rules! combine_spec_entails_always_n_internal {
    ($spec:expr, $partial_spec:expr, $($tail:tt)*) => { ... };
}