Por qué no se permite que la especialización parcial en un argumento que no es de tipo use parámetros de plantilla anidados

Tengo este código

template<int N, bool C = true>
struct A;

template<int N>
struct A<N, !(N % 5)> {
  /* ... */
};

// should work
A<25> a;

Es decir, para los números N que son divisibles por 5, el compilador debe usar la especialización parcial. Pero el compilador no aceptará esa especialización parcial, porque el Estándar requiere que rechace dicho código cuando un argumento no tipo de una especialización parcial hace referencia a un parámetro y no es simplemente un parámetro (como, A<N, N> sería válido). Pero ¿cuál es la razón de hacerlo?

Tenga en cuenta que simplemente puedo cambiar mi código a un más ejemplo wordy y es válido

template<bool> struct wrap;
template<int N, typename = wrap<true> >
struct A;

template<int N>
struct A<N, wrap<!(N % 5)> > {
  /* ... */
};

// should work
A<25> a;

Esto está bien porque ya no es un parámetro que no sea de tipo. Pero, ¿cuál es la razón por la que la especificación prohíbe la especialización parcial más directa?