为什么不允许在非类型参数中使用嵌套模板参数进行部分专门化

I have this code

我有这段代码

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

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

// should work
A<25> a;
template<int N, boo