https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118566
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2025-01-20
Keywords| |rejects-valid
Ever confirmed|0 |1
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Reduced:
```
template<typename T, typename T1>
concept t = true;
template <typename T>
using ty = int;
struct test
{
// Declaration
test(auto&& r) requires t<ty<decltype(r)>, int>;
};
// Implemention
test::test(auto&& r) requires t<ty<decltype(r)>, int>
{
}
```