https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125300
Bug ID: 125300
Summary: GCC rejects invalid program involving explicitlyt
specifying template parameter type
Product: gcc
Version: 17.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: jlame646 at gmail dot com
Target Milestone: ---
The following invalid program is accepted by gcc but rejected by clang, msvc
edg. https://godbolt.org/z/1cjfb9sbP
```
#include<type_traits>
template <typename T, T>
struct A { };
template <typename T, T t>
void f(A<T, t>) {
}
int main() {
f(A<const int, 0>{});
}
```
