https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125300
--- Comment #1 from Drea Pinski <pinskia at gcc dot gnu.org> ---
This is rejected by clang and others too:
```
template <typename T, T>
struct A { };
template <typename T, T t>
void f(A<T, t>) {
}
int main() {
A<const int, 0> t;
f(t);
}
```
The problem seems to be const is being removed for the non-type argument.
Note EDG actually accepts this (you need to remove the include).
So this is 2 vs 2.
