https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106734
jakob at schmutz dot co.uk changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106734
--- Comment #5 from jakob at schmutz dot co.uk ---
oh I see `std::same_as` is false
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106734
--- Comment #4 from jakob at schmutz dot co.uk ---
(In reply to Jonathan Wakely from comment #3)
> (In reply to jakob from comment #0)
> > Bar bar;
> > constexpr bool same = requires
> > {
> > { bar } -> std::same_as;
>
> Thi
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106734
--- Comment #2 from jakob at schmutz dot co.uk ---
Created attachment 53503
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53503&action=edit
preprocessed file
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106734
--- Comment #1 from jakob at schmutz dot co.uk ---
> but instead it returns
>
> ```
> IS SAME
> REQUIRES SAME
> CONVERTIBLE
> ```
whoops this was supposed to be
```
AS SAME
IS SAME
CONVERTIBLE
```
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106734
Bug ID: 106734
Summary: [requires] std::same_as in compound requirements
doesn't produce expected result
Product: gcc
Version: 12.2.0
Status: UNCONFIRMED
Sever
