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
