https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89766
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |accepts-invalid --- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Indeed, the invalid testcase is now accepted: $ ./cc1plus.269511 -quiet pr89766.C -std=c++17 -fno-checking; echo $? pr89766.C:7:38: error: ‘template<class> template<class, class> bool d< <template-parameter-1-1> >::e() const’ cannot be overloaded with ‘template<class> template<class a, class> bool d< <template-parameter-1-1> >::e() const’ template <typename, typename> bool e() const; ^ pr89766.C:6:40: note: previous declaration ‘template<class> template<class a, class> bool d< <template-parameter-1-1> >::e() const’ template <typename a, typename> bool e() const; ^ 1 $ ./cc1plus.269512 -quiet pr89766.C -std=c++17 -fno-checking; echo $? 0