https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103809
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2021-12-22
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
Known to fail| |10.3.0, 11.2.0, 12.0, 9.4.0
Keywords| |rejects-valid
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Confirmed, not a regression.
template<typename T> concept Byte = sizeof(T) == 1;
template<typename T> concept NotByte = sizeof(T) != 1;
namespace priv
{
template<typename Value>
struct Struct {};
}
template<Byte T>
struct priv::Struct<T> {};
template<NotByte T>
struct priv::Struct<T> {};
103809.C:14:14: error: redefinition of 'struct priv::Struct<T>'
14 | struct priv::Struct<T> {};
| ^~~~~~~~~
103809.C:11:14: note: previous definition of 'struct priv::Struct<T>'
11 | struct priv::Struct<T> {};
| ^~~~~~~~~
