https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93467
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ppalka at gcc dot gnu.org
Known to fail| |10.0, 11.0
Last reconfirmed|2020-01-28 00:00:00 |2020-5-26
--- Comment #1 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Reconfirmed on trunk. I ran into this when writing a fix for PR
libstdc++/95322..
Here is another valid testcase which we reject:
template<bool B> requires B
class C;
template<typename>
class S
{
template<bool B> requires B
friend class ::C;
};
testcase.C:8:20: error: ‘C<B>’ does not match original declaration
8 | friend class ::C;
| ^
testcase.C:2:9: note: original template declaration here
2 | class C;
| ^
