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>
{
}

```

Reply via email to