[Bug c++/96830] GCC does not complain template-head containing requires clause

2022-07-20 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96830 Jonathan Wakely changed: What|Removed |Added Last reconfirmed|2020-08-28 00:00:00 |2022-7-20 --- Comment #3 from Jonathan

[Bug c++/96830] GCC does not complain template-head containing requires clause

2020-08-28 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96830 --- Comment #2 from Jonathan Wakely --- G++ still accepts this version, though EDG and Clang reject it: template concept C = requires { typename T::value_type; }; template class Foo { public: void func(); }; template void Foo::func() {}

[Bug c++/96830] GCC does not complain template-head containing requires clause

2020-08-28 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96830 Jonathan Wakely changed: What|Removed |Added Ever confirmed|0 |1 Keywords|

[Bug c++/96830] GCC does not complain template-head containing requires clause

2020-08-28 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96830 --- Comment #1 from Jonathan Wakely --- Reduced: template concept C = requires { typename T::value_type; }; template requires C class Foo { public: void func(); }; template void Foo::func() {} EDG compiles it without error too. Clang